Completed
Pull Request — master (#1599)
by
unknown
14:06
created

No notable changes

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

5.35
▶   ± 0
Test Coverage
75%
▼ -1%   –   Changes
Head
Peter Dietrich  
Merge 5b6a9cf225ed3ea9b608828015606d411f1b9f16 into b5d0c89cd63b3e05f58071c1025f7b776fcaa157
1 more commit
Base
Andreas  
Merge pull request #1594 from eibt/update-docs-theme-submodule