This is an autogenerated message for OBS integration: This bug (1139695) was mentioned in https://build.opensuse.org/request/show/713560 Factory / python-sphinxcontrib-httpdomain