From 760f726e516752d27142346d8552682d3f6f0532 Mon Sep 17 00:00:00 2001 From: Sylvain Gugger <35901082+sgugger@users.noreply.github.com> Date: Thu, 9 Jul 2020 15:13:22 -0400 Subject: [PATCH] Add forum link in the docs (#5637) --- docs/source/_static/js/custom.js | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/source/_static/js/custom.js b/docs/source/_static/js/custom.js index 2717825fb0..1ce992ddfe 100644 --- a/docs/source/_static/js/custom.js +++ b/docs/source/_static/js/custom.js @@ -149,6 +149,7 @@ function addHfMenu() { `; document.body.insertAdjacentHTML('afterbegin', div);