Passed
Pull Request — master (#372)
by Fabien
07:36
created

No notable changes

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

9.98
▶   ± 0
Head
Fabien Villepinte  
Merge 7920589c5f842b85c1ed6d1348e458cab056d31c into 95e9328268cf32a493e218ad677e2a6e8784550f
1 more commit
Base
Fabien Villepinte  
Remove usage of empty()