Andreas Schwab <[email protected]> writes:

> This has been fixed in commit d31c9cf54ac.

Thanks.

Reply via email to