Re: The Same Old Package Manager Bug
Reply #3 –
I made a PR for this to ease you guys work over there.
There is another PR for repair_settings.php too, for consideration, though the same still do not work in 1.1, but a reference for future modification is posted in the said PR.