Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > Hi Phillip, > > On Thu, 23 Feb 2023, Phillip Wood via GitGitGadget wrote: > >> Fix a couple of small bugs in the parsing of todo lists > > Thank you, those fixes look quite good to me. Thanks, both. Let's merge them down quickly.