pending suggestions from Debian

[asarhaddon]

(in a private mail, Fabien Chouteau suggested this repository for such issues)
Hello.

A merge request is causing non-trivial rebase work for the third time in a year. The request is intrusive, and may very well be rejected in the end. Could you please ensure that the review happens before new commits cause merge conflicts?

For unrelated reasons, the history lies in three github pull requests.
The original request (mixing unrelated subjects): AdaCore/gprbuild#64
A separate request for linker.xml: AdaCore/gprbuild#67
New request on gprconfig_kb repository: AdaCore/gprconfig_kb#3

During previous rebase sessions, I had the feeling that the commit author would be more efficient, at least because they are in a position to test the changes on the targeted hardware.

[Fabien-Chouteau]

Thanks @asarhaddon I will make sure we make progress on this. See my answer on the issue: AdaCore/gprconfig_kb#3