commit 0530b5bf86438eb98e4a6931f033800b4adabf56
author Davide Pesavento <davide.pesavento@lip6.fr> Mon Nov 07 03:23:58 2016 +0100
committer Davide Pesavento <davide.pesavento@lip6.fr> Mon Nov 07 21:36:22 2016 +0100
tree 86f30f8311bdb861628c2554366cd9223e561502
parent ed1e99daa08642822cb722136294724ec5a9cf26

ci: speed up code-coverage jobs

Plus some documentation updates

Change-Id: I6fd2b04e22bca6c3d6e36e78d1995220e261206b
Refs: #3809

AUTHORS.md

diff --git a/AUTHORS.md b/AUTHORS.md
index e3e0b57..48457ef 100644
--- a/AUTHORS.md
+++ b/AUTHORS.md
@@ -17,7 +17,7 @@
 
 * Wentao Shang          <http://irl.cs.ucla.edu/~wentao/>
 * Steve DiBenedetto     <http://www.cs.colostate.edu/~dibenede/>
-* Davide Pesavento      <http://www.lip6.fr/actualite/personnes-fiche.php?ident=D1469>
+* Davide Pesavento      <https://www.linkedin.com/in/davidepesavento>
 * Syed Obaid Amin       <http://obaidamin.weebly.com/>
 * Shuo Chen             <chenatu2006@gmail.com>
 * Hila Ben Abraham      <http://research.engineering.wustl.edu/~abrahamh/>