jabref release 3.8.2+ds-13 for unstable (sid) [dgit] [dgit distro=debian split --quilt=gbp --deliberately-not-fast-forward]
