Johannes Schindelin [off-list ref] writes:
Hi Phillip,
On Thu, 23 Feb 2023, Phillip Wood via GitGitGadget wrote:
quoted
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.