On 20/08/20 19:42, Eric Blake wrote: >> >> This goes on top of Paolo's most recent meson port v175 posting, >> or whatever number it is upto now :-) > > Nice comment for reviewers, but doesn't quite need to be preserved in git.
I for one don't mind. :) Paolo