Completed
Pull Request — 7.x (#771)
by no
10:04 queued 04:15
created

Changes

9.17
▶   ± 0
Head
Marius Hoch  
Merge pull request #771 from wmde/idConstructors
3 more commits
Base
Leszek Manicki  
Release 7.3.0 (#768)