diff options
author | Matteo F. Vescovi <mfvescovi@users.noreply.github.com> | 2018-05-30 12:20:20 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-30 12:20:20 +0300 |
commit | 55a73d0efafe8990577eadbf69fc708b5c8d6091 (patch) | |
tree | eb9837de53bafd2df29094157cf157523114aefe | |
parent | 5bf82b6c70730ef9dedd9b916588e983911da297 (diff) |
debian/compat: 11 -> 9
To allow compiling against 16.04 and 17.10
-rw-r--r-- | debian/compat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/compat b/debian/compat index b4de394..ec63514 100644 --- a/debian/compat +++ b/debian/compat @@ -1 +1 @@ -11 +9 |