Merge pull request #3443 from bobafetthotmail/patch-7
authorHannu Nyman <redacted>
Wed, 2 Nov 2016 10:07:50 +0000 (12:07 +0200)
committerGitHub <redacted>
Wed, 2 Nov 2016 10:07:50 +0000 (12:07 +0200)
llvm2: capitalized submenu name (disc -> Disc)


Trivial merge
git clone https://git.99rst.org/PROJECT