On Sun, 7 Oct 2018 03:01:10 +0200 Danny Milosavljevic <dan...@scratchpost.org> wrote:
> < <!-- Generated by javadoc (1.8.0_161) on Sun Oct 07 00:35:26 GMT > 2018 --> --- > > <!-- Generated by javadoc (1.8.0_161) on Sun Oct 07 00:06:16 GMT > > 2018 --> > diff > -r > /gnu/store/jz27ll2yb5cf2ihkjw58sx92gpw2pana-icedtea-3.7.0-doc/share/doc/icedtea/jre/api/security/smartcardio/spec/serialized-form.html > > /gnu/store/jz27ll2yb5cf2ihkjw58sx92gpw2pana-icedtea-3.7.0-doc-check/share/doc/icedtea/jre/api/security/smartcardio/spec/serialized-form.html I think this is the same as #30927 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30927 If you agree, can you merge them? Björn
pgpf3IZlweeS_.pgp
Description: OpenPGP digital signature
