Closed fchapoton closed 5 years ago
found by lgtm
@haraldschilly -- this looks like something you wrote, fyi. Fix is of course safe.
found by lgtm