From 4aff8ef671e9eee3c1810ed4ccc653f6ebbb16c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=AD=C3=B0ir=20Valberg=20Gu=C3=B0mundsson?= Date: Mon, 17 Jun 2019 14:43:52 +0200 Subject: [PATCH] Try to force github to reindex "Jump to definition"