dev-lang/gnat-gpl: remove unused patch
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Sun, 8 Dec 2019 13:20:02 +0000 (14:20 +0100)
committerAaron Bauman <bman@gentoo.org>
Sun, 8 Dec 2019 15:53:00 +0000 (10:53 -0500)
commit3f4f3f51e86f6dbf9ecdfe467cf2856189de3463
tree54552b2434b7377a82769909ab7b30147d62bca6
parent322ae8e3f2258569f9451294771d7bac18ccfe9a
dev-lang/gnat-gpl: remove unused patch

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/13921
Signed-off-by: Aaron Bauman <bman@gentoo.org>
dev-lang/gnat-gpl/files/gnat-gpl-2016-ustat.patch [deleted file]