diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2024-03-16 07:43:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-16 07:43:16 -0500 |
| commit | 66b0e32ac3460a08c6e6fc3af014c639c6a67c61 (patch) | |
| tree | 035ca1f87ed4d44c88e81abacbb6e0cda4d8ba45 /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | 2f1459023384dca870dbb2db28fde59997ba8c93 (diff) | |
| parent | 421a10d6ecea3048c554a835e16e4663a2e32124 (diff) | |
Merge pull request #294800 from trofi/rocksdb-drop-redundant-pin-to-gcc12-if-gcc13
rocksdb: drop redundant `pin-to-gcc12-if-gcc13`
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions