diff options
| author | ilya | 2020-04-11 13:59:48 +0300 |
|---|---|---|
| committer | Jason Gross | 2020-04-19 18:29:55 -0400 |
| commit | 05cf2d04aee51c67e67abbaf432e038251809e3a (patch) | |
| tree | fa7e7d42619404fa238ba754e9320ad190f1ae60 /kernel/nativelambda.mli | |
| parent | 8d3f4fcd162c7dd23619f605d55e9a773c131e0e (diff) | |
added changelog for PR 12044
Update doc/changelog/10-standard-library/12044-issue-12015.rst
Co-Authored-By: Jason Gross <jasongross9@gmail.com>
Apply suggestions from code review
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions