diff options
| author | Hugo Herbelin | 2015-01-05 06:42:37 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-06 14:19:13 +0100 |
| commit | f1db73816e4bd463cc81f34ba7e35857694bfa25 (patch) | |
| tree | 090d244562a10e5f57b7b80f1c79c2170e8bef31 /kernel | |
| parent | ba92fdf0422503d7b69c3cd02d67a4dcee408d64 (diff) | |
Propagating the relaxing of filtering started in 48509b6, fixed in
3cd718c, to the case of second_order_matching.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions