added \gdef\@currentHref{#2}
to labels (close #917 , close #903) (#…
#205
Loading
\gdef\@currentHref{#2}
to labels (close #917 , close #903) (#…
#205