mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
no-precommit-check This patch is rejected by the "Copyright notice must include current year" check, we actually want to preserve the copyright years here. TN: V822-021 Change-Id: Iad42ad0863f12d7a3c714855287c5996581910b6