Completed
Pull Request — master (#518)
by
unknown
03:24 queued 13s
created

No notable changes

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

8.23
▶   ± 0
Head
Marcos Bezerra de Menezes  
Merge 9747bcb8e9f7c37a92a0cb20217b9eaf3294b49f into e2044367a94de8c74239a1c987aa4c7428a2d565
1 more commit
Base
Oskar Stark  
Merge pull request #512 from OskarStark/cs