Replace usage of datetime
library types with hightime
types#1449
Merged
marcoskirsch merged 4 commits intomasterfrom bugs_744_1368_1382_1397/use_hightimeMay 19, 2020
datetime
library types with hightime
types#1449