Hi Masahiro,

On Wed, May 7, 2025 at 12:28 PM Masahiro Yamada <[email protected]> wrote:
>
> Hmm, renumbering is annoying.
>
> Maybe, better to stop managing section numbers?
>
> For example, see this commit
> 1a4c1c9df72ec266f94631edc59f9f2a9dc5aa8c

Agreed, that looks much better. I'll send v3 that drops the section numbers.

Sami

Reply via email to