some micro-optimizations

Authored by cullmann on Sep 2 2018, 6:02 PM.

Description

some micro-optimizations

Details

Committed
cullmannSep 2 2018, 6:02 PM
Parents
R216:6616f3720811: some micro-optimizations
Branches
Unknown
Tags
Unknown