Lars Schneider <[email protected]> writes: > Ensure that nothing is written to stderr during a documentation build.
I guess we'll know if any output to stderr is an error, or if there are some informational output that would trigger failure from this change soon enough. Will queue. Thanks.

