Completed
Push — master ( 1faa7f...da269e )
by Amrouche
16s
created

No notable changes

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

8.2
▶   ± 0
Head
Amrouche Hamza  
Merge pull request #1351 from Engerim/patch-1
1 more commit
Base
Alexander Miehe  
Merge 5111c739f047d196ed5b2c74e04467380ca3816c into 1faa7f4fed239bb3b86583ced395115778197333