diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-25 20:58:49 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-25 20:58:49 +0100 |
| commit | e23083f39813f9559c041b295d23534cd2125913 (patch) | |
| tree | 59ef54fa3109c0d710e0d6a0f5d1e9af69cd9d41 /docs/user | |
| parent | 3b10f9e714925640f96478f3c033614e2ccdfd45 (diff) | |
| parent | e31a762c63d0fd61e4b84b27b6ebf142c4437487 (diff) | |
Merge #8993
8993: fix: don't show pd/ppd completions where it shouldn't be r=flodiebold a=eduardocanellas
Closes #8992
Co-authored-by: Eduardo Canellas <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions