Closed giordano closed 4 years ago
I'd favor the latter, personally.
Me too
Ugh, apparently the General auto-merging disagrees with our decision, since it was a patch release...
I thought the general registry wasn't supporting Julia v0.7 anymore, so that we aren't effectively restricting anything
I guess dropping 0.7 is still considered a version narrowing.
We should either add 0.7 to the compatible Julia versions or remove it from CI. I'd favor the latter, personally.