diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-07-10 23:05:42 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-07-10 23:05:42 +0200 |
commit | 39afa51ee39ec2ca95c25aee31807c1032dd4249 (patch) | |
tree | 5550610553d1b1d7236d052b6e956b22e0bb4883 /debian/patches/series | |
parent | eea1d049dbbaf92013747c6803c6639c92fc629e (diff) | |
parent | c120c7bcbcf115ecc2a6668f4c7f45b3d4a5bc86 (diff) |
Merge tag 'debian/5.1.1-1' into develop
new upstream release
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index c6c3550..8725218 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ 0900-spelling-errors.patch +0100-messages_h.patch |