Apply submitted patch
Created by: jw35
The attached patch (against v 0.52) was supplied in Feb 2016 by Gary Guo <xg244@cam.ac.uk. It needs review and applying if apropriate. This seems to contain a fix for #9, and may relate to #2.
GitLab will be updated on 12-Feb-2026 between 12:00 and 14:00. There may be small periods of service instability.
Created by: jw35
The attached patch (against v 0.52) was supplied in Feb 2016 by Gary Guo <xg244@cam.ac.uk. It needs review and applying if apropriate. This seems to contain a fix for #9, and may relate to #2.