Sorry, I meant: do I have to undo something related to this command sometime in the future when this change makes it into the main distribution:
pio upgrade --dev
Sorry, I meant: do I have to undo something related to this command sometime in the future when this change makes it into the main distribution:
pio upgrade --dev