diff options
| author | jvoisin | 2018-01-18 19:16:55 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-18 19:38:52 +0100 |
| commit | 4c220390c4e84597933ad1591709cb03b5afeb19 (patch) | |
| tree | abbadbe3578669a93f412501e1111aede7be04ac /CONTRIBUTING.md | |
| parent | d24dcf6312f59bd9b42d07b99a1b41f0f4883dbe (diff) | |
php-nightly moved to pcre2, allows failure for now
See #129 for details. This _will_ be fixed.
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions