tree c72348728c790a3a349bf5e48d255833cda15b5a
parent bc0a102893011b9d5bddbff1e37f212ef1814866
parent 0491cd2872c6ee7898f814834b110116f614547c
author Jan Tattermusch <jtattermusch@users.noreply.github.com> 1525798228 +0200
committer GitHub <noreply@github.com> 1525798228 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJa8dVUCRBK7hj4Ov3rIwAAdHIIACTgnVyaynpRDhXw9h92ubYh
 tm1GyCh/MgwReV6LedJGcDdH3rXE77n+TCgUZuq3fkuPd8iobTAQLbcxcz8pYegW
 tSQFvSsZVaAdw5KuaxVw+WheHqz9GsMWQ0DoOLGWdzfqjWxRPza/B82FLNcCUfFR
 4vF2KZyxuRYLq9D6Hy+lXtZTCHZ1qJNjflHmV29iJ8K3lCST61djse1fygrBgwZl
 P28l5vZmOpjIF3+roRR3p5OPUw03AoFo4YlymMbEw0VJJYlkKvDdJHJMu1Nw+BrM
 eWzRF9mHU/X/fmM5p1qpDNA3d9JXix+EJijR1hVgX2bP939sZX9CIs6gk7cTGvY=
 =sFNS
 -----END PGP SIGNATURE-----
 

Merge pull request #15306 from jtattermusch/unwanted_dotnet_options

Disable unwanted dotnet options