Completed
Pull Request — master (#954)
by Dimitri
03:52
created

No notable changes

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

7.72
▼   -0.02
Head
Dimitri Gritsajuk  
Merge 79695a3bbd08e70058e729fddbc68b21b2d27b48 into 2fb807cda4ea8f10142273866021ced074210c9f
2 more commits
Base
Andreas Braun  
Merge pull request #955 from alcaeus/add-missing-pool-option-xsd