You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Saw the deprecation notice for NaryFunctions.v. I do not use that module but would be happy to step up to maintain it in the name of backwards compatibility.
What are the expectations of a maintainer in this role?
Saw the deprecation notice for NaryFunctions.v. I do not use that module but would be happy to step up to maintain it in the name of backwards compatibility.
What are the expectations of a maintainer in this role?