From 51498a3fe6cd8a99eb0e82ec37d87d52bf10ff57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nathana=C3=ABl=20Jourdane?= <njourdane@irap.omp.eu>
Date: Wed, 13 Feb 2019 11:57:44 +0100
Subject: [PATCH] contributing.md: install node v10 instead of v8

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

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 0479cfa..d744b26 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -19,7 +19,7 @@ You need node.js and npm.
 To install them on Debian-based systems:
 
 ```bash
-curl -sL https://deb.nodesource.com/setup_8.x | sudo -E bash -
+curl -sL https://deb.nodesource.com/setup_10.x | sudo -E bash -
 sudo apt-get install -y nodejs
 echo -e "nodejs version:\t$(nodejs -v) \nnpm version:\t$(npm -v)"
 # check that you have node.js and npm.