unisonweb/unison
Voir sur GitHubin diffs, `type not found` should include some hash
Open
#1 479 ouverte le 28 avr. 2020
codebase-manager / ucmerror-messagehelp wanted
Métriques du dépôt
- Stars
- (6 624 stars)
- Métriques de merge PR
- (Merge moyen 10j 2h) (5 PRs mergées en 30 j)
Description
Currently:

Proposed:

I'm wildly guessing that fixing this may involve futzing with DisplayThing.