diff options
| author | Michael Biebl <biebl@debian.org> | 2018-10-30 10:26:10 +0100 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2018-10-30 10:26:10 +0100 |
| commit | bd8ab7e82b1ae4e8899b30a59a7b35ba009344ea (patch) | |
| tree | 83691f38efeef4d5dd7a85c0893fa8a54274728f /docs/api/version.xml | |
| parent | c15221a34c0af3a5b2c03dfe80c2a9841acefb03 (diff) | |
| parent | 3cdef184c37fa2c152f8542c6107f8a623735a1c (diff) | |
Merge branch 'master' into stretch-backports
Diffstat (limited to 'docs/api/version.xml')
| -rw-r--r-- | docs/api/version.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/api/version.xml b/docs/api/version.xml index 89c881bc..4e00d0ac 100644 --- a/docs/api/version.xml +++ b/docs/api/version.xml @@ -1 +1 @@ -1.12.4 +1.14.4 |