diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-08-30 12:18:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-30 12:18:46 +0200 |
commit | 00f9957552180ef44fe5fab98f7d09cd15d99506 (patch) | |
tree | b02e4ce7aa1742068266d1f50b18255fd750dfbb /tests/local.mk | |
parent | af94b54db3a2be100731a215cb5e95f306471731 (diff) | |
parent | 92778a5f80d6f5c17e4ad09f7cbf0839341f2398 (diff) |
Merge pull request #5192 from hercules-ci/non-null-pos
Force all Pos* to be non-null
Diffstat (limited to 'tests/local.mk')
0 files changed, 0 insertions, 0 deletions