On 04/02/17 10:35, Izumi Tsutsui wrote:
The following reply was made to PR port-hppa/52129; it has been noted by GNATS.
[snip]
: --- Should I file another PR?
: ---
yes, please.
--- Izumi Tsutsui
Izumi Tsutsui
Nick