diff options
| author | Théo Zimmermann | 2018-06-28 15:52:59 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-06-28 15:52:59 +0200 |
| commit | 551adf5a0df216bd339ee9af34d2d458fa482a72 (patch) | |
| tree | 31e0df2750a697a7e4c3fbd8a97afe8c3d8ff333 /kernel/nativelambda.ml | |
| parent | 1fab152558a941c500067599d6b2043e1176a446 (diff) | |
Self-credit for the work done.
I reused the sentence from the version 8.7 credits.
It wasn't initially decided like this but it looks like
I'm the de facto maintainer for this release as well.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions