On 1/8/19 8:13 AM, Paolo Carlini wrote:
Hi,

a few additional easy to fix cases where we thought that a plain error was good enough. Tested x86_64-linux.

Thanks, Paolo.

////////////////////

OK.

Reply via email to