From 18e2e4319f86c7b4858823b408f32a0dbd21e5fc Mon Sep 17 00:00:00 2001
From: Xavier Clerc <xclerc@janestreet.com>
Date: Tue, 6 Nov 2018 09:48:30 +0000
Subject: [PATCH] v0.11.120.08+153

---
 CONTRIBUTING.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 96ec2d75c..45e1a22b9 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -64,3 +64,4 @@ If you set your `user.name` and `user.email` git configs, you can sign
 your commit automatically with git commit -s.
 
 [dco]: http://developercertificate.org/
+[js]: https://opensource.janestreet.com/