tree 3afea86c3d8dd0e4ee6ba2afb9b3d5c493036cc6
parent c1c5ed688c4d915b789f2d8cf9aaf5b4d193660f
parent 5d015d594ff6c5c98781ce578d94d174c92007db
author David Morgan <davidmorgan@google.com> 1539959389 +0200
committer GitHub <noreply@github.com> 1539959389 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJbyepdCRBK7hj4Ov3rIwAAdHIIAEK/JEhsp6H6Pxi9eZpRYpXg
 6DjCA33NDVkdoJMF4kzebARGIaljFP2ZEBCyxm1v+Z1FcZSqs4e2aNAvWdEKYW3N
 +4zc/EnyEouM/rZXe3RcTd0B32pbNA6MzqKLebWvN6eGGFFIz7JMhcCme6iX9xvV
 XnF0SMpVLUJCeP00hs/mIwepd1oUtVbE8ktjx332AkCFhhhNTtgVIyUX0kHa5l1a
 6dYXamQUTd4WfspAR6We3urraJvpbYLFia1seaQRUrAsj8bttZ0ItjR5ehWcaAaL
 WBO0GMrVAx8nnhlrrnESa8fE4+EopPUfESBgF5LRl1VrcUKXjc+QVZJ+4crQkFs=
 =oIXB
 -----END PGP SIGNATURE-----
 

Merge pull request #9 from davidmorgan/enable-prefer-is-empty

Enforce prefer_is_empty.