some more devtool synching, to round things up
authorRobert Kaiser <kairo@kairo.at>
Tue, 20 Sep 2016 13:50:32 +0000 (15:50 +0200)
committerRobert Kaiser <kairo@kairo.at>
Tue, 20 Sep 2016 13:50:32 +0000 (15:50 +0200)

No differences found