diff options
| author | Erik Martin-Dorel | 2020-06-20 19:50:51 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-20 19:50:51 +0200 |
| commit | 5cc231625e2b4a2e4b4d4caf088a44e9c4f1259e (patch) | |
| tree | 574f7b350168e03875ddc83856a4e36402c6f7f5 /pgshell | |
| parent | 0f0bb2c00fb7b20fd187cb92d4d2c3f84c4c5987 (diff) | |
| parent | 543c2807aec1182b9a006abd233548f3459a02c6 (diff) | |
Merge pull request #501 from haselwarter/proof-shell-string-match-safe
Use `proof-shell-string-match-safe` to avoid failing on `nil` regexp
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions