Uh, seems like someone is on fire. 729 issues
were fixed!
|
Head |
Alessandro Lai
Merge 6f1fcf76d6032a53b76522aa4e3023d4746c0bd9 into cbc962e22060cf7b1bafd403cf3027943e20ae15
|
---|---|
⋮ | 3 more commits |
Base |
François-Xavier de Guillebon
Replace avoidable empty() calls (#1966)
|