Jeroen Domburg d00ef1607e Some more optimizations, mostly in involuntary task switches. Doesn not really help here, but might in other cases.

2016-10-18 10:51:08 +08:00

23 KiB

Raw Blame History

View Raw