diff options
| author | Emilio Jesus Gallego Arias | 2018-09-11 22:31:27 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-09-11 22:31:27 +0200 |
| commit | a9e0f0ee9e4936d700d39faaa20568c0c561b8fa (patch) | |
| tree | c080ee654792eaf05d1a8754660d5b4b31217d9d /kernel/nativecode.ml | |
| parent | 053193926ea1397c400355a8d253ec9ba36a5731 (diff) | |
| parent | b3fede9200f18a7ffc8693f99f79ebe747390bc6 (diff) | |
Merge PR #8444: Bump version number to 8.10+alpha.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions