Processing commands for cont...@bugs.debian.org: > forwarded 389374 https://github.com/JabRef/jabref/pull/2040 Bug #389374 [jabref] jabref: add a button to copy url of doi to clipboard Changed Bug forwarded-to-address to 'https://github.com/JabRef/jabref/pull/2040' from 'https://github.com/JabRef/jabref/issues/490'. > 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 ow...@bugs.debian.org with problems __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.