Bug#1007265: override: gcc-12-base:libs/optional

[Daniel Lewart <lewart3@gmail.com>]

Package: ftp.debian.org
Severity: normal
User: ftp.debian.org@packages.debian.org
Usertags: override
X-Debbugs-Cc: debian-boot@lists.debian.org, gcc-12@packages.debian.org

Debian FTP Team,

Please change gcc-12-base from:
    libs/required
to:
    libs/optional

Reason:
  #997826 - gcc-11: Current/future gcc-N-base packages
    should not declare Priority: required:
      https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997826

And gcc-10-base should be taken care of at the same time:
  #992477 - override: gcc-10-base:libs/optional:
      https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=992477

Thank you!
Daniel Lewart
Urbana, Illinois