23 Jan
2014
23 Jan
'14
2:39 p.m.
On Thursday 23 January 2014 12:01:02 Richard W.M. Jones wrote:
Can you still change the patch to avoid the _ match case. I think something like this should work: | { Index_parser.notes = ("", notes) :: _ } -> (* print notes *) | { Index_parser.notes = _ :: _ } | { Index_parser.notes = [] } -> (* no untranslated notes *)
ACK with that change.
OK for me. Modified accordingly, and pushed. -- Pino Toscano