diff options
| author | Matthieu Sozeau | 2019-02-05 14:35:35 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2019-02-05 14:35:35 +0100 |
| commit | 9d3394cbc37be3ad8b4fbd32d32c193a55368196 (patch) | |
| tree | 1e7e24ff7f862235e9daa45ea579191c1850d70b /kernel/environ.ml | |
| parent | 740ec848acc0b127fad7ba5b703bc00364126c71 (diff) | |
| parent | ad227e6b900d15c60133e1997cdaed80358b85c7 (diff) | |
Merge PR #9396: Skip indirection through Evd for obligation ustate manipulation
Reviewed-by: mattam82
Diffstat (limited to 'kernel/environ.ml')
0 files changed, 0 insertions, 0 deletions