Closed ntraut closed 2 years ago
for issue #275
@kegl do you have time review?
@rth any thought on this?
LGTM, thanks @ntraut a lot for spotting this.
We'll merge this next week if no objection.
for issue #275