Don't use deprecated api

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

Description

Don't use deprecated api

Details

Committed
mlaurentMay 17 2018, 11:32 AM
Parents
R42:1195cf206ec9: GIT_SILENT: Time to increase it
Branches
Unknown
Tags
Unknown