Le serveur Gitlab dispose d'une nouvelle clé SSH, merci de la mettre à jours : ssh-keygen -f "~/.ssh/known_hosts" -R "code.electrolab.fr"
Merged in david_s5/nuttx-9/david_s5/i-think-that-size-is-highest-address1-b-1478039243625 (pull request #163) I think, that Size is (highest address+1 - Base address)