Processed: fixed 847581 in 3.8+ds-1, closing 847581

Sat Dec 24 21:27:06 UTC 2016

Processing commands for control at bugs.debian.org:

> fixed 847581 3.8+ds-1
Bug #847581 [jabref] jabref: doesn't always exit and throws exception upon exit
Marked as fixed in versions jabref/3.8+ds-1.
> close 847581
Bug #847581 [jabref] jabref: doesn't always exit and throws exception upon exit
Marked Bug as done
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
847581: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847581
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems