Completed
Pull Request — master (#1971)
by Alessandro
36s
created

Changes

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)