2015-02-06, 08:26
(2015-02-06, 07:12)allan87 Wrote: The question is whether startup time is faster with the PR than without. I guess 5.0.1 would be a useful comparison.
The comparison should be between build #0204 (with PR6246) and #0204b (without PR6246). Any difference in performance would be entirely down to PR6246.