Closed ghost closed 1 year ago
Can you format your issue properly (without using heading levels)?
Can you format your issue properly (without using heading levels)?
Oh, I don't why it was formatted that way. Its fixed now, thanks to mseri!
Is this fixed after an opam update -u
? c.f. #23480
Is this fixed after an
opam update -u
? c.f. #23480
Yes it is fixed now, as I tried to update it again. Thanks Alot!