2 Commits

Author	SHA1	Message	Date
Rasmus Wriedt Larsen	f10a86d3ac	Python: Remove --optimize: true from options files ... Tests will be run with optimizations on by default now.	2020-02-25 15:52:00 +01:00
Mark Shannon	62591e469e	Python: Avoid duplicate modules in points-to and resulting blow-up.	2019-06-17 17:53:17 +01:00