Merge branch '5824-keep-web-workbench' closes #5824
authorTom Clegg <tom@curoverse.com>
Thu, 12 Nov 2015 20:00:59 +0000 (15:00 -0500)
committerTom Clegg <tom@curoverse.com>
Thu, 12 Nov 2015 20:00:59 +0000 (15:00 -0500)

Trivial merge