diff options
| author | Björn Gustavsson <[email protected]> | 2017-08-31 10:08:48 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-08-31 10:08:48 +0200 |
| commit | f0b2ac51019181cc765b55e95b2723f5ed03d3fa (patch) | |
| tree | e9b5446e53613d3f9e97c3cd1eaa08ca18db4d93 /erts/configure.in | |
| parent | 81542a84139d63e855823a4f8f9af9a31852923b (diff) | |
| parent | c8e6fc560fc8fd2f0e993975d33a017503f0489b (diff) | |
| download | otp-f0b2ac51019181cc765b55e95b2723f5ed03d3fa.tar.gz otp-f0b2ac51019181cc765b55e95b2723f5ed03d3fa.tar.bz2 otp-f0b2ac51019181cc765b55e95b2723f5ed03d3fa.zip | |
Merge branch 'maint'
* maint:
Make handling of match contexts stricter
Diffstat (limited to 'erts/configure.in')
0 files changed, 0 insertions, 0 deletions