Merge pull request #3250 from jbevain/cli-flags
commite23589a6cf64e05734d461fec8f46ccaba4884bf
authorRodrigo Kumpera <kumpera@gmail.com>
Thu, 7 Jul 2016 21:09:30 +0000 (7 17:09 -0400)
committerGitHub <noreply@github.com>
Thu, 7 Jul 2016 21:09:30 +0000 (7 17:09 -0400)
treee1a0f68beaea212ca87ab1f17b8cebeb87290d0f
parent8694ee1f46983fbdbf6d69a28d4c630e19685e46
parent2a8146f2876410216412ef8580452e35f961f2e8
Merge pull request #3250 from jbevain/cli-flags

Fix definition and handling of the Preferred32bit CLI flag in the verifier