Open siddhartha-gadgil opened 4 years ago
@anotherArka @Chinmaya-Kausik is there anything left here? Otherwise I will close this.
Actually we have not dealt with punctures and boundaries, so this should stay open.