Closed ejpaul closed 4 years ago
Thanks for this fix!
@ejpaul I have made you admin, so in the future you can force-merge any changes you make to the python utilities
I am merging this since I will need the latest pythontools for branch comparison.
Thanks for this fix!
@ejpaul I have made you admin, so in the future you can force-merge any changes you make to the python utilities