diff options
| author | Emilio Jesus Gallego Arias | 2017-06-03 06:55:05 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-06-03 06:58:13 +0200 |
| commit | c86d8e5314d1a1a8ef3776ef0ba25b3f592f48da (patch) | |
| tree | f9b30d5f55a83299c454310cb02851ecb521c5a9 /kernel/nativelib.ml | |
| parent | a2a98a4015311af83edcf8fc87aa30a5318bead8 (diff) | |
[stm] Solve bug 5577 "STM branch name is incorrect with Time"
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions