Skip to content

Fix: Avoid use of empty()#84

Merged
localheinz merged 1 commit intomasterfrom fix/emptyMar 26, 2020

Commits

Commits on Mar 26, 2020