Eric Paris c6a5b43df1 Update flag-dash whitelist ...

PRs older than the verifier landed in HEAD.  So update the whitelist

2015-08-13 17:43:00 -04:00

..

exceptions.txt

Update flag-dash whitelist

2015-08-13 17:43:00 -04:00

known-flags.txt

Merge pull request #12623 from thockin/proxy-ipt

2015-08-13 13:10:39 -07:00