diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-20 19:27:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-20 19:27:49 +0100 |
| commit | 00387cbe1b05c6093baea76d6852af18842c0f65 (patch) | |
| tree | ca34e8113247ca7c1db8d2cac10051cb7452d82a /thirdparty/pcre2 | |
| parent | f5234e70be7dec4930c2d5a0e829ff480d044b1d (diff) | |
| parent | 17614f79ea389f2428ce421f68fd13f0d2c898b8 (diff) | |
Merge pull request #15898 from yurchor/patch-1
Fix minor typo: it's -> its
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions