Ihor Radchenko <yanta...@gmail.com> writes: > 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.
Thanks! -- Bastien
