Merge branch 'dev'

Authored by cgilles on Nov 12 2019, 4:22 AM.

Description

Merge branch 'dev'

Details

Committed
cgillesNov 12 2019, 4:22 AM
Parents
R850:80d75108818b: update
R850:6233432106cf: add google file for authorization
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
80d75108818bcgilles
update 
Nov 12 2019