On 2018-02-27 17:53, John Rose wrote:
Looks good.

Thanks!

I'll revert for-loop (it was a remnant of an earlier experiment to see
if getting rid of the ptypes.clone() mattered for startup: it didn't, really)

/Claes

Reply via email to