On Feb 21, 2024, at 19:13, David E. Wheeler <da...@justatheory.com> wrote:
> Thanks. Anyone else? Or is it ready for committer? What’s the protocol for marking a patch ready for committer? Thanks, David
On Feb 21, 2024, at 19:13, David E. Wheeler <da...@justatheory.com> wrote:
> Thanks. Anyone else? Or is it ready for committer? What’s the protocol for marking a patch ready for committer? Thanks, David