Matthew Hall ecc2615ba2 Append new match arms rather than replacing all of them
This means we now retain comments when filling in match arms.
2020-03-28 20:58:46 +00:00
..
2020-03-26 16:10:01 +01:00
2020-03-28 12:27:54 +01:00
2020-02-27 17:19:53 +01:00
2020-03-26 16:10:01 +01:00