On Wed, Aug 31, 2022 at 7:49 PM Jeff Janes <jeff.janes@gmail.com> wrote:
> I think "frozen:" would be a more suitable line prefix.
Attached revision does it that way.
Barring any objections I will commit this patch within the next few days.
Thanks
--
Peter Geoghegan