add patch for upstream bug #1240
[debian/jabref.git] / debian / patches / upstream_1240.patch
2015-10-22 tony mancilladd patch for upstream bug #1240