On 08/16/2018 02:42 AM, Matthew Malcomson wrote:
On 15/08/18 20:26, Sandra Loosemore wrote:Use @item for the first item in a group, @itemx for all the others.Thanks for the spot, updated patch attached.
This version looks fine with me. Nobody's made any objection about technical incorrectness, either, so I think it's OK to check in.
-Sandra
