tree 5a553264c14ddcbb143780fb95274a4e6350f5cc
parent 2708a49356e2b44d6d89235b2b4cf042b69e5e0b
author Jonas Finnemann Jensen <jonasfj@google.com> 1582283895 +0100
committer GitHub <noreply@github.com> 1582283895 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJeT7x3CRBK7hj4Ov3rIwAAdHIIAEMSm8qftDM/f3ccnK95/TiW
 d4Ag0/z1lOKTmEtfiq+PclBIoDes6vVRlKuFlgl7INTdjc9pfFhsl9kE/yt7ZeIP
 cW7/aFqZKeTi6BtVD0I1bpV7+kQVTNYDKk6kn8Pyj+MBKvonn2OdOMXTZPWNfMS3
 kMC3FQ5z+t/ilQe2G3z1wZAJhsgn1z/6U9W1S1gV/sQ9qJ8c2Ub/4hsgavUVBgSW
 7ucaqckW57p2j5C1ZWcmk9ME5hjnqHBtj0d4+nktm5sEqLJQwXeetQlLq+SkislG
 KxvdMiLZBgF+jMAMs0ASMNC9RzGKLlTnISwoBrNQppnuXkfktRwvZ+5x/YFRCM8=
 =qBMe
 -----END PGP SIGNATURE-----
 

Remove unused option (#2335)