commit | ef5846d369a482c7baa3fb03556a7960abf077e5 | [log] [tgz] |
---|---|---|
author | David Morgan <davidmorgan@google.com> | Fri Oct 19 16:29:49 2018 +0200 |
committer | GitHub <noreply@github.com> | Fri Oct 19 16:29:49 2018 +0200 |
tree | 3afea86c3d8dd0e4ee6ba2afb9b3d5c493036cc6 | |
parent | c1c5ed688c4d915b789f2d8cf9aaf5b4d193660f [diff] | |
parent | 5d015d594ff6c5c98781ce578d94d174c92007db [diff] |
Merge pull request #9 from davidmorgan/enable-prefer-is-empty Enforce prefer_is_empty.