Completed
Push — master ( 35d812...e20443 )
by
unknown
04:43 queued 02:13
created

No notable changes

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

8.23
▶   ± 0
Head
Oskar Stark  
Merge pull request #512 from OskarStark/cs
1 more commit
Base
Oskar Stark  
Merge pull request #503 from mihai-stancu/embedded_identifier_support