Tip of branch origin/gremlin upon surgery

commit from 2014-02-21 18:26:00 +0100
tagged at 2015-03-01 18:29:00 +0100
This tag has no release notes.