diff options
| author | Matthieu Sozeau | 2015-07-08 17:39:03 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-07-08 17:39:03 +0200 |
| commit | 8ad5f5726283c69a71f7ee0f2d12ce94b707b5a6 (patch) | |
| tree | b239040847fefc05acec444f57e1e65b446aba3a /kernel | |
| parent | c71cff0328fa0ee640f35337278f344e0d00698a (diff) | |
Bug 4284: Tentative bugfix for detyping exception.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions