commit | 53b25635da9656577e28a45f328798c417b50cb4 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Jan 15 15:30:03 2018 +0000 |
committer | nicm <nicm> | Mon Jan 15 15:30:03 2018 +0000 |
tree | 6170ee694aee5c5e9a62cd8988376aacb8d8c5a2 | |
parent | 481703d6698467e459d5b3ff3cd4322bd0385798 [diff] |
Another redundant check, GitHub issue 1219.