Revert to 12099f341d4d836116b636796a8e4af3306d3828 (undoing last
authorMike Taylor <mike@indexdata.com>
Tue, 13 Oct 2015 21:15:26 +0000 (22:15 +0100)
committerMike Taylor <mike@indexdata.com>
Tue, 13 Oct 2015 21:15:26 +0000 (22:15 +0100)
commit) because I now have a proper fix for SUP-807.


No differences found