Source: libgnatcoll Followup-For: Bug #872081 Control: tags -1 fixed Your patch is applied in the version control system, waiting for the end of the gnat-7 transition.
I have removed the "set -x" shell option. It would produce output on standard error and autopkgtest would deduce that the test has failed.