- Bump debhelper compatibility version 10. - Switch from Priority extra to optional. - Update debian/.gitignore file. Change-Id: I74650e44243b3049843962a3c26b5751ada4268bchanges/82/16882/1
parent
8783787e64
commit
f053077dc7
@ -1 +1 @@
|
||||
9
|
||||
10
|
||||
|
||||
Loading…
Reference in new issue