commit | 47b07985b55efa7d263f6b8aef3d0bb2b50462a4 | [log] [tgz] |
---|---|---|
author | David Morgan <davidmorgan@google.com> | Wed Nov 21 17:54:33 2018 +0100 |
committer | GitHub <noreply@github.com> | Wed Nov 21 17:54:33 2018 +0100 |
tree | 97d5709c808852d7d5a87f491c3f86aff59f7a4b | |
parent | ef5846d369a482c7baa3fb03556a7960abf077e5 [diff] | |
parent | d9d7171b1e91ae83a33db6368f192219cf2201f1 [diff] |
Merge pull request #10 from davidmorgan/release-1-4-0 Enforce avoid_init_to_null and null_closures.