diff options
author | Moritz Muehlenhoff <jmm@debian.org> | 2023-12-22 12:57:22 +0100 |
---|---|---|
committer | Moritz Muehlenhoff <jmm@debian.org> | 2023-12-22 12:57:56 +0100 |
commit | 342011c005d0321cdb00446ebb3efe94999b45f2 (patch) | |
tree | ba7b91b7bd99d47e18a8dceb39da862b68cd5912 | |
parent | 6a414a0909bffea734eee3ece19ece527f0e809a (diff) |
no bugs needed for GCC 9/GCC10
These won't get included in any new releases and will eventually be removed
-rw-r--r-- | data/packages/ignored-debian-bug-packages | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/data/packages/ignored-debian-bug-packages b/data/packages/ignored-debian-bug-packages index 6bff41106e..fa8e54c860 100644 --- a/data/packages/ignored-debian-bug-packages +++ b/data/packages/ignored-debian-bug-packages @@ -13,3 +13,5 @@ chromium webkit2gtk wpewebkit xen +gcc-9 +gcc-10 |