Merge tag 'upstream/2.11_beta1+ds'
[debian/jabref.git] / CLI
2015-05-19 gregor herrmannMerge tag 'upstream/2.11_beta1+ds'
2015-05-19 gregor herrmannImported Upstream version 2.11~beta1+ds upstream/2.11_beta1+ds