diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-01-02 15:15:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-02 15:15:47 +0100 |
commit | 9c05b80db0320e560fdc0b2c65752c7cdeae46f3 (patch) | |
tree | 93247cd9c0c1d5777210ad8addf71088235b20ec /src/nix/registry.cc | |
parent | 34a31b33f178b81f5071c06a086963981f3b512e (diff) | |
parent | 09830ab829f57c20189afe0ee9e7721c274d98ee (diff) |
Merge pull request #7426 from tianyuanhao/master
Avoid poly_user_note_set twice
Diffstat (limited to 'src/nix/registry.cc')
0 files changed, 0 insertions, 0 deletions