diff options
| author | Maxime Dénès | 2017-06-26 08:07:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-26 08:07:20 +0200 |
| commit | a7163004b16d15950c5053491b4d8ad8dd9c8a33 (patch) | |
| tree | 7dfc212618185f305a1c0284006b169c01b5546c /kernel/nativecode.ml | |
| parent | e6e0298999a93c7390ed8ba232f1de295378ea7e (diff) | |
Bump version number to 8.6.1.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions