Lars Schneider <larsxschnei...@gmail.com> 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.
