Correcting myself: something went wrong before, I re-downloaded the new file from the branch and and copied it in place, and now Build > Touch > Run on Device works quite fine.
« Back to merge proposal
Correcting myself: something went wrong before, I re-downloaded the new file from the branch and and copied it in place, and now Build > Touch > Run on Device works quite fine.