New patch 08_doubleextensions.patch, kindly backported and provided by
[debian/jabref.git] / debian / patches / series
index e74eb213ede88730ef99940707870d7ae86ec52a..7da9af06adc4251d147adb7856e27f2d58318c46 100644 (file)
@@ -3,3 +3,4 @@
 05_antlr32.patch
 06_BibtexEntry.patch
 07_pdfbox1.5.patch
+08_doubleextensions.patch