diff options
| author | Maxime Dénès | 2016-12-02 10:56:22 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-12-02 10:56:22 +0100 |
| commit | 43e73e8c9fe149a93f406351cfa092d9ac90e715 (patch) | |
| tree | 9e0fb3360c52b1e2bd9f9e0b8046d1de818d98ea /kernel | |
| parent | 34caa93e5cca16aaa43e391f01c8e5f6b00818f3 (diff) | |
| parent | 59dee24e5dfe3dfe20c2a4a2843192d797c89155 (diff) | |
Merge remote-tracking branch 'github/pr/371' into v8.6
Was PR#371: Update dev/doc/changes with things about mem_named_context
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions