diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-10-10 12:36:14 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-10-10 12:36:14 +0200 |
| commit | 0fbee0f8d18c6597835324a61929e83f92fa6de6 (patch) | |
| tree | dbf775dce9ac06f5374147467f55c22beb259540 /debian/patches/series | |
| parent | 9f880f93690880c1611705f33291b5cab02794c7 (diff) | |
| parent | 625b6aa73234d70e16ddd42189b91caf68fa05af (diff) | |
Merge branch 'release/debian/0.1.8-4'HEADdebian/0.1.8-4master
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 8587bd5..3879ee5 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ +0001-hardening.patch 0100-gcc5.patch |