fix dead link

Authored by ognarb on Nov 2 2019, 10:36 AM.

Description

fix dead link

Details

Committed
ognarbNov 2 2019, 10:36 AM
Parents
R933:281f0053d911: remove some redirection
Branches
Unknown
Tags
Unknown