Bastien Guerry <b...@gnu.org> writes: > Feel free to push the fix if it seems right to you. We can revert it > back or improve it if needed.
Applied onto main via 9917d6954. Best, Ihor
Bastien Guerry <b...@gnu.org> writes: > Feel free to push the fix if it seems right to you. We can revert it > back or improve it if needed.
Applied onto main via 9917d6954. Best, Ihor