diff options
author | torkel104 <bjorn.spindel@protonmail.com> | 2022-07-02 14:03:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-02 22:03:40 +1000 |
commit | 8b78fac4511cd006b7be92e5789d29de6118fad3 (patch) | |
tree | 042c01a620783b60a733d9fcb077b66ee1bd416c /shell.nix | |
parent | 08721b41250f621667e190ce66ab5915bf4e4ba8 (diff) |
Fix keys being discarded after using the leader key (#17287)
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions