Completed
Push — master ( 2a9db7...b263b7 )
by Juan José
20s queued 11s
created

No notable changes

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

5.91
▶   ± 0
Head
Juan José Nicola  
Merge pull request #359 from jjnicola/manifest
1 more commit
Base
ArnoStiefvater  
Merge pull request #357 from jjnicola/notus-severities