Closed maelle closed 7 months ago
Fix #101
To be rebased after #102 is merged
@zkamvar no hurry whatsoever (and no review needed if you tell me to just go for it :cowboy_hat_face:), we'll use the branch in babeldown for now.
Fix #101
To be rebased after #102 is merged