Bug#782294: Is #782294 a duplicate of #777177?

[Joseph Herlant]

Hi Juan and Michael,

Should we consider this one as a duplicate of #777177 as they both try
to solve the reproducibility issues of asciidoc?

Thanks
Joseph