diff options
| author | Guillaume Melquiond | 2016-05-03 14:06:17 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-05-03 14:10:46 +0200 |
| commit | 443857fe1bbecf089eb40d522a71a014273c5a23 (patch) | |
| tree | 6217f4e3b9d9c77e68ad8c5cf869f3f89ca9fa1a /kernel | |
| parent | 780f3424fb741385f063864d9b15b2c3e3fc419a (diff) | |
Use the canonical name when looking for an eliminator (bug #4670).
Disclaimer: I have no idea what I am doing.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions