diff --git a/src/Gurobi_jll.jl b/src/Gurobi_jll.jl
index 8b3fc38..d3c9dea 100644
--- a/src/Gurobi_jll.jl
+++ b/src/Gurobi_jll.jl
@@ -7,6 +7,7 @@
 # downloaded only during the first instance of `using Gurobi_jll`. This means,
 # for example, that they won't be downloaded by Gurobi.jl if someone has a local
 # install.
+# See https://github.com/jump-dev/Gurobi_jll.jl/pull/18 for details.
 
 @static if get(ENV, "GUROBI_JL_USE_GUROBI_JLL", "true") == "false"
     __precompile__(false)