Closed paskino closed 3 years ago
@KrisThielemans did we decide anything? I believe we said we'd merge as is, but I might be wrong
you are wrong :-) It won't solve the problem. See description in #153.
@paskino this should be fixed now. I've tried it locally.
@KrisThielemans does this mean that we can merge?
as far as I know, yes!
I guess you could try it on your local machine first.
addresses #153