mknorps
commented
6 months ago I am closing this issue as a duplicate of https://github.com/tweag/FawltyDeps/issues/170. @obscurerichard You are warmly welcome to work on that :heart:
Closed GuillaumeDesforges closed 6 months ago
mknorps
commented
6 months ago I am closing this issue as a duplicate of https://github.com/tweag/FawltyDeps/issues/170. @obscurerichard You are warmly welcome to work on that :heart:
👋🏻 I'm interested in taking on this issue.