diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-12-14 15:56:14 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-12-14 15:56:14 +0100 |
| commit | 0d31d7cdc6ebdbaff868a8a03690afe1a8e8a4db (patch) | |
| tree | 42e1a6f9b34cfcb4f2908d27506ebb78c1e36198 /debian/patches/series | |
| parent | 5ed7f9cf4e33468b3b75e057db461b30a81febe4 (diff) | |
| parent | e18cb63b889697e54fe06be3eef8889b39f9fb4b (diff) | |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index f390c4b..d84f384 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -4,4 +4,4 @@ 0110-remove_stale_files.patch 0100-parallel_build.patch 0120-fix-bibtex-call.patch -0125-printf_regression.patch +#0125-printf_regression.patch |