Merge pull request #572 from Nihlus/converter-better-options
authorJarl Gullberg <Jarl.Gullberg@gmail.com>
Mon, 17 Jul 2017 16:04:49 +0000 (18:04 +0200)
committerGitHub <noreply@github.com>
Mon, 17 Jul 2017 16:04:49 +0000 (18:04 +0200)
Replace bundled Mono.Options in Converter


Trivial merge