Site will likely be offline for maintenance 23/24 April - more details soon
Merge details
Mentioned in commit 0d330e871b7994a2e9f525c7e225bb1d4843a707
By Andrew Heather on 2016-12-15T17:34:46 (imported from GitLab project)
Status changed to merged
By Andrew Heather on 2016-12-15T17:34:46 (imported from GitLab project)