Closed GiggleLiu closed 11 months ago
is there any reason why this is not merged ? Is there any other plans for the future design of this package ?
I guess nobody had time yet. In any case, it is something that needs to be discussed anyway, as there was a reason why we added Requires - I can't exactly rembember why, although I was the one who did the changes.
It is also nothing urgent, as no bugs are fixed and no new features are added.
I guess nobody had time yet. In any case, it is something that needs to be discussed anyway, as there was a reason why we added Requires - I can't exactly rembember why, although I was the one who did the changes.
It is also nothing urgent, as no bugs are fixed and no new features are added.
I fix it because there are a lot bugs, I just can not load graph6 module. And keno find the similar bug. Well, I forgot to mention those bugs in the pr.
This should probably be done with extensions now
yes, can we close this ?
Remove conditional dependencies.