summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/gnat-gpl: remove unused patchesMichael Mair-Keimberger2021-11-101-32/+0
* dev-lang/gnat-gpl: backport libsanitizer fix to 2018Sergei Trofimovich2020-06-211-0/+32