Completed
Push — develop ( 07d4e6...558e95 )
by David
03:30
created

No notable changes

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

8.64
▶   ± 0
Head
David Riccitelli  
update generated files
Base
David Riccitelli  
bump to 3.12.0-dev; #376 and #484 merged; update changelog