Thanks for your bugreport.
The package can be unpinned with the "Packages/Lock Version" menu. I agree that there should be a "unpin" option too.
Cheers, Michael
Thanks for your bugreport.
The package can be unpinned with the "Packages/Lock Version" menu. I agree that
there should be a "unpin" option too.
Cheers,
Michael