diff options
| author | Ludovic Courtès <[email protected]> | 2023-11-15 17:56:15 +0100 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2023-11-15 18:29:37 +0100 |
| commit | 26a403f357f4471b14db7f01bb83a4c36ca5ef1b (patch) | |
| tree | 15eff75f49ff3d0c2b8efec94552480acf8fd7dd /gnu/ci.scm | |
| parent | 7e6580670bc615d89d0216ebddfb6ba81feb0238 (diff) | |
gnu: psm2: Update Git tag name.
The tag was apparently renamed.
* gnu/packages/linux.scm (psm2)[source]: Change tag name.
Change-Id: Icfeb9e6f567d03f00f1b7b1d25dbd89f8528dc34
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions