- Bump debhelper compatibility version 10. - Switch from Priority extra to optional. - Update debian/.gitignore file. Change-Id: I577594a95567de72002c72cd8c8e95ff135f0451changes/27/16827/1
parent
3c36bc237b
commit
84a114daec
@ -1 +1 @@
|
||||
9
|
||||
10
|
||||
|
Loading…
Reference in new issue