diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-09-12 09:09:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-12 09:09:37 +0200 |
commit | 55ec5ae7d6c3f7866a0696a6ccfb66a1665b3d72 (patch) | |
tree | 915d93a2fe2c96522add215beb933f464cc4b8f8 /nixos/default.nix | |
parent | 5f8387b0fb673d12880f129c68c9e7401a97ac85 (diff) | |
parent | 7de036faedfb45e3220144111c0ed06325170a74 (diff) |
Merge pull request #254494 from kashw2/pluto
pluto: 5.18.3 -> 5.18.4
Diffstat (limited to 'nixos/default.nix')
0 files changed, 0 insertions, 0 deletions