Change obsolete priority extra to optional

parent d59a573e
Source: libstdc++-arm-none-eabi
Section: devel
Priority: extra
Priority: optional
Maintainer: Agustin Henze <>
Uploaders: Thomas Preud'homme <>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment