Don't use deprecated api

Authored by mlaurent on May 17 2018, 11:33 AM.

Description

Don't use deprecated api

Details

Committed
mlaurentMay 17 2018, 11:33 AM
Parents
R95:a58d0c85c490: GIT_SILENT: Time to increase it
Branches
Unknown
Tags
Unknown