> So before submitting a bug report (if necessary), I wanted to know if
> someone knows something about it. 

PR ada/22533.

-- 
Eric Botcazou

Reply via email to