Processed: bug 389374 is forwarded to https://github.com/JabRef/jabref/issues/490, tagging 389374

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forwarded 389374 https://github.com/JabRef/jabref/issues/490
Bug #389374 [jabref] jabref: add a button to copy url of doi to clipboard
Set Bug forwarded-to-address to 'https://github.com/JabRef/jabref/issues/490'.
> tags 389374 + fixed-upstream
Bug #389374 [jabref] jabref: add a button to copy url of doi to clipboard
Added tag(s) fixed-upstream.
> thanks
Stopping processing here.

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