d/control: fix priority-extra-is-replaced-by-priority-optional
-rw-r--r-- 1188 Makefile
drwxr-xr-x - debian
drwxr-xr-x - src
drwxr-xr-x - test