Re: Esteban Zimanyi> Dear all> Please let us know whether we can do anything to remove this "unstable"> label on MobilityDB.
Check if you need to do something similar to PG b8ea0f675f35c3f0c2c.
Christoph