copy from trunk

Description

copy from trunk

Details

Committed
pinoJan 10 2020, 11:23 PM
Parents
R883:1559879: cleanup get_branch a bit more
Branches
Unknown
Tags
Unknown