Completed
Push — master ( d969c9...c827d3 )
by David
02:40 queued 11s
created

No notable changes

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

9.25
▶   ± 0
Head
David Riccitelli  
Merge pull request #1024 from insideout10/hotfix/1022-unable-to-delete-mapping-property
1 more commit
Base
David Riccitelli  
bump to 3.25.1.3