debian/3.8.2+ds-3

gregor herrmann

@gregoa

eeea107d · releasing package jabref version 3.8.2+ds-3 · Apr 06, 2018

tagging package jabref version debian/3.8.2+ds-3