diff options
| author | Maxime Dénès | 2018-11-05 13:02:38 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-11-05 13:02:38 +0100 |
| commit | 538a54e8855d477e9ca350a76f852a147809a06b (patch) | |
| tree | 05b825e775c1e4a50d844cde8fd88176e0a1bf48 /Makefile.dev | |
| parent | 62c75af6595fc31ec076b1bedfae62f652eda05e (diff) | |
| parent | d5e762723bca7cb9297183e4332e0a9c7c0932f0 (diff) | |
Merge PR #8824: Do not check convertibility of pattern types in the kernel
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions