diff options
| author | Théo Zimmermann | 2019-08-16 13:34:55 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-08-16 13:34:55 +0200 |
| commit | af4f14b16f8fc6817a2995b41398fdbbce1f74c9 (patch) | |
| tree | 4d8e3e2207ddfacf4ca62b3667b2c4c4699b9947 /kernel/nativecode.mli | |
| parent | b8477fb38842016c226ba9d7be8f60486411a2ee (diff) | |
Fix quoting in 8.9 changelog entry.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions