1. 2017-12-10 Re: [Scilab-Dev] householder: mismatch between GIT HE scilab-de Samuel Gougeon 2. 2017-12-10 Re: [Scilab-Dev] householder: mismatch between GIT HE scilab-de Antoine ELIAS 3. 2017-12-09 [Scilab-Dev] householder: mismatch between GIT HEAD a scilab-de Samuel Gougeon