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
It appears that extlib is pinned to a local version because some changes were needed (removing base64 from the default build). These changes are now upstreamed, and we can get rid of the submodule.
Unpin
Upgrade
Check build consistency
Add to switch
Remove from pin script (remove async_unix as well)
It appears that extlib is pinned to a local version because some changes were needed (removing base64 from the default build). These changes are now upstreamed, and we can get rid of the submodule.
scripts/setup-opam.sh
Needed for #10940
The text was updated successfully, but these errors were encountered: