Completed
Pull Request — master (#572)
by Pierre
01:01
created

No notable changes

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

???
Head
Pierre du Plessis  
Merge 6a10bf37d26d4cdbd1a84e395a2b5f27b0df5ace into 4117c46dbb297276268151f6d53dc3ae2525449e
1 more commit
Base
core23  
Removed platform requirements from doc