Bastien <b...@gnu.org> writes:

> If you feel confident the change is mature enough for being merged
> into the main branch, please go ahead, this will boost the feedback.

Merged to main just now.

Reply via email to