Completed
Pull Request — master (#1599)
by
unknown
09:39
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.35
▶   ± 0
Test Coverage
76%
▶ ±0%
Head
Peter Dietrich  
Merge 5a95e3a08bacb5b92ac3e5a39e2915cc0cbbdb5e into b5d0c89cd63b3e05f58071c1025f7b776fcaa157
3 more commits
Base
Andreas  
Merge pull request #1594 from eibt/update-docs-theme-submodule