- Bump debhelper compatibility version 10. - Switch from Priority extra to optional. - Update debian/.gitignore file. Change-Id: I8a1b2f8a3c3f0a7638ce00a711d1d620286968b2changes/88/16888/1
parent
aeca696b31
commit
fe2aff9175
@ -1 +1 @@
|
||||
9
|
||||
10
|
||||
|
Loading…
Reference in new issue