Merge pull request #1422 from Yann-lms/genmask
authorDimitris Papastamos <[email protected]>
Mon, 18 Jun 2018 08:43:56 +0000 (09:43 +0100)
committerGitHub <[email protected]>
Mon, 18 Jun 2018 08:43:56 +0000 (09:43 +0100)
Genmask


Trivial merge