Torsten Schmits
Torsten Schmits
I would really appreciate being able to specify `/1.2.*` as an input, so that an update fetches the latest tag for that range. I assume this would eventually be possible...
Otherwise, `is_database_old` will check the wrong time
In current master at c98dc566d5bf7f73ca7717695da9c52322abb550 I get conflict messages like: ``` Unresolved conflict for symbol sequence: 'newtype' tyconid • '_varid' … Possible interpretations: 1: 'newtype' (_simpletype tyconid • _forall_repeat1) 2:...
Hey @amaanq, I've got more bandwidth now to take care of this repo again, so if you're interested, you can give me the necessary repo permissions!