diff --git a/docs/external/tips b/docs/external/tips index e30ee794290..b0590b73a30 160000 --- a/docs/external/tips +++ b/docs/external/tips @@ -1 +1 @@ -Subproject commit e30ee7942900e6d9343650d3c5325673951bb159 +Subproject commit b0590b73a30a56976e82017d25cb4e757c99ae36