Hi Bastien, On Sun, 02 May 2021 at 03:29, Bastien <b...@gnu.org> wrote:
Indeed, I have some code ready for this in an updated version of the patch. So the change won't be that "breaking" but let's still assess whether it will break many configurations.
Looks good to me. Thank you. Gustavo.