Since 38408 has been pushed, can you close this one if the issue has been fixed?
- bug#38907: close? Brendan Tildesley via Bug reports for GNU Guix
- bug#38907: close? Leo Famulari
Since 38408 has been pushed, can you close this one if the issue has been fixed?