On Sat, Aug 15, 2020 at 10:09:15AM +1200, Thomas Munro wrote:
> And ... now that this has a commitfest entry, cfbot told me about a
> small problem in a makefile. Third time lucky?
Still lucky since then, and the CF bot does not complain. So... The
meat of the patch is in 0003 which is fixing an actual bug. Robert,
Thomas, anything specific you are waiting for here? As this is a bug
fix, perhaps it would be better to just move on with some portions of
the set?
Kevin, I really think that you should chime in here. This is
originally your feature.
--
Michael
