| commit | 0fbac706f7c798fdeda63e39009c2285dad2c33f | [log] [tgz] |
|---|---|---|
| author | Victor Stinner <victor.stinner@gmail.com> | Mon Aug 21 23:57:06 2017 +0200 |
| committer | GitHub <noreply@github.com> | Mon Aug 21 23:57:06 2017 +0200 |
| tree | f42ebb9d626a95296da949c077107468358df1a4 | |
| parent | 02d4292df4bbd7a2cbf2716c9e6c22cae76e2093 [diff] |
regrtest: fix test to choose if header should be displayed (#3172) Check "tests" before its value is replaced.