are using a browser extension to selectively enable or disable
Review Request #8862
Created March 31, 2017 and discarded March 31, 2017, 12:58 p.m.
Merge branch 'release-3.0.x'
This is a production server that people use to do real work. If you'd like to play with Review Board, please use https://demo.reviewboard.org/