Closed RomanLangrehr closed 9 years ago
lgtm; merged as it is a simple change
btw, your commit has a quite sweet SHA: 4ac5acac5…
4ac5acac5…
lgtm; merged as it is a simple change