New Upstream Snapshot - linuxdoc-tools

Merged new upstream version: 0.9.73+git20180730.c94ee2d (was: 0.9.73).

More details

Full run details