diff options
| author | Théo Zimmermann | 2020-04-20 13:26:40 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-20 13:26:40 +0200 |
| commit | 078e6c6d27bc3a13bb9e7ac6c9c5b8e05450af80 (patch) | |
| tree | b5b1880cf7f12d6fa2ef40bf0263e66266f4169d /library | |
| parent | b669ca8459f5d0fec2201c494d88c7d516c37be0 (diff) | |
| parent | 796878d827693fefdfe4901af7a71bfe20f2011c (diff) | |
Merge PR #12123: Don't create index entries for the name "_"
Reviewed-by: cpitclaudel
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions