On Tue, Aug 29, 2023 at 02:21:48PM +0200, Alvaro Herrera wrote: > Yeah, I have a mild preference for keeping the prefix, but it's mild > because I also imagine that if somebody doesn't see the full symbol name > when grepping they will think to remove the prefix. So only -0.1.
So, are you fine with the patch as presented? Or are there other things you'd like to see changed in the format? > I think the DOCONLY stuff should be better documented; they make no > sense without looking at the commit message for fa88928470b5. Good point. However, with 0002 in place these are gone. -- Michael
signature.asc
Description: PGP signature
