Completed
Push — master ( b83077...260c49 )
by Wim
05:03 queued 03:08
created

No notable changes

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

7.7
▶   ± 0
Head
Wim Godden  
Merge pull request #595 from wimg/feature/newscalartypedeclaration-parent-is-valid
1 more commit
Base
Wim Godden  
Merge pull request #594 from wimg/feature/deprnewref-removed-not-forbidden