Commit d2c623cf authored by Kali Bot's avatar Kali Bot 🤖

Change priority extra to priority optional.

Changes-By: lintian-brush
Fixes: lintian: priority-extra-is-replaced-by-priority-optional
See-also: https://lintian.debian.org/tags/priority-extra-is-replaced-by-priority-optional.html
parent fdc7f4dc
Pipeline #173329884 passed with stages
in 6 minutes and 10 seconds