Closed this issue a year ago · 1 comments
I guess this is no longer needed after #355. Closing for now.