diff options
| author | Enrico Tassi | 2018-07-25 17:10:43 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-07-25 17:10:43 +0200 |
| commit | cd3040d5bb67bd17a3c4d20e3324d285657e215d (patch) | |
| tree | 20fd286277011b0a6399ab49a825e9f607aba583 /kernel | |
| parent | 9b6ce4f1848c546d0d361aa1089fa2907ca4c9ad (diff) | |
[ssr] assertion -> error message (Fix #8134)
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions