Closed cquiroz closed 4 years ago
LGTM
@julienrf Would it be ok to merge this?
@cquiroz Yes, I didn’t have a look but I trust you guys :) In general, if you have write/merge rights you can merge after another maintainer has approved the PR. Thank you both!
Thanks. I'll probably wait for #374 to be merged
I bet this can be safely removed