Closed smolkaj closed 8 years ago
Trivial (but useful) addition.
Thanks!
Cherry-picked to 4.03 and 4.02 branches (with required adaptations).
Trivial (but useful) addition.