On 2017-07-07 18:04, Eric Botcazou wrote:
Great! Would you mind to apply the patch for us? The only person here with write access just went on vacation. I have submitted a new version (v4) with the change that applies to both main and 7.OK, will do.
Thanks! -- Daniel Cederman Cobham Gaisler