-
Stan Hu authored
This is to workaround a bug in Chromium 45 (https://code.google.com/p/chromium/issues/detail?id=446434), which is the default browser in Ubuntu 14.04 and older. Closes #3220
99c05363
To find the state of this project's repository at the time of any of these versions, check out
the tags.