Derrick Stolee <stolee@xxxxxxxxx> writes: > On 5/20/2019 6:01 AM, Johannes Schindelin wrote: >> Hi Stolee, >> >> *really* minor nit: the commit subject probably wants to have a "rename" >> after the colon ;-) > > I did put that there, but then the subject line was too long. I'm not > opposed to putting it back. Let me locally amend what I queued in the meantime, then. Thanks, both.