Merge pull request #23863 from plumps/add-vulnix

vulnix: init at 1.2.2
This commit is contained in:
Frederik Rietdijk
2017-03-24 11:12:50 +01:00
committed by GitHub
7 changed files with 199 additions and 98 deletions

View File

@@ -398,6 +398,7 @@
pjones = "Peter Jones <pjones@devalot.com>";
pkmx = "Chih-Mao Chen <pkmx.tw@gmail.com>";
plcplc = "Philip Lykke Carlsen <plcplc@gmail.com>";
plumps = "Maksim Bronsky <maks.bronsky@web.de";
pmahoney = "Patrick Mahoney <pat@polycrystal.org>";
pmiddend = "Philipp Middendorf <pmidden@secure.mailbox.org>";
polyrod = "Maurizio Di Pietro <dc1mdp@gmail.com>";