Skip to content

Avoid unnecessary guard#6340

Merged
jgm merged 1 commit intojgm:masterfrom josephcsible:patch-1May 5, 2020

Commits

Commits on May 5, 2020