make devtools toolbar and options work in current nightly
authorRobert Kaiser <kairo@kairo.at>
Sat, 14 Jan 2017 01:28:48 +0000 (02:28 +0100)
committerRobert Kaiser <kairo@kairo.at>
Sat, 14 Jan 2017 01:28:48 +0000 (02:28 +0100)

No differences found