On Sun, 7 Oct 2018 03:01:10 +0200
Danny Milosavljevic <dannym@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