Paul Ritter ce67371b12 Revert "Deprecates RUN_THIS.py in favor of manually doin' it (#3930)" (#3933) ... This reverts commit 94082e07a7.		2021-05-05 14:30:46 +02:00
..
post-checkout	Revert "Deprecates RUN_THIS.py in favor of manually doin' it (#3930)" (#3933)	2021-05-05 14:30:46 +02:00
post-merge	Revert "Deprecates RUN_THIS.py in favor of manually doin' it (#3930)" (#3933)	2021-05-05 14:30:46 +02:00