diff options
| author | Maxime Dénès | 2016-12-02 10:56:53 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-12-02 10:56:53 +0100 |
| commit | e048e4d5505cf73ae92016c5175932e15863f95e (patch) | |
| tree | 6c86e7f94ed884fb6c7f254d86c1ff1f3a95e5a2 /kernel | |
| parent | 43e73e8c9fe149a93f406351cfa092d9ac90e715 (diff) | |
| parent | 8572140c30629cfcc6b7e68d450487c64922a6b9 (diff) | |
Merge remote-tracking branch 'github/pr/369' into v8.6
Was PR#369: Make a note about wit_constr and Constrarg in
dev/doc/changes
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions