guix-patches
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
bug#26506: Closing duplicate bug
From
:
Peter Mikkelsen
Subject
:
bug#26506: Closing duplicate bug
Date
:
Sat, 15 Apr 2017 02:49:34 +0200
I made a mistake and this is a duplicate of 26505.
reply via email to
[
Prev in Thread
]
Current Thread
[Next in Thread]
bug#26506: [PATCH 1/2] gnu: idris: Update to 1.0.
,
Peter Mikkelsen
,
2017/04/14
bug#26506: Closing duplicate bug
,
Peter Mikkelsen
<=
Prev by Date:
bug#26507: [PATCH 2/2] gnu: idris: Fix idris-default-arguments.
Next by Date:
bug#26507: Closing duplicate bug
Previous by thread:
bug#26506: [PATCH 1/2] gnu: idris: Update to 1.0.
Next by thread:
bug#26507: [PATCH 2/2] gnu: idris: Fix idris-default-arguments.
Index(es):
Date
Thread