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

Changes

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