[bug#37443] [PATCH] scripts: pull: Add options for generation management

guix-patches

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#37443] [PATCH] scripts: pull: Add options for generation management

From:	zimoun
Subject:	[bug#37443] [PATCH] scripts: pull: Add options for generation management
Date:	Thu, 19 Sep 2019 11:02:03 +0200

Hi Ludo and Konrad,
Thank you for explaining.
I got the point.

Thanks,
simon

[Prev in Thread]

Current Thread

[Next in Thread]

[bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/18
- Message not available
  - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/18
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, zimoun, 2019/09/18
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/18
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Ludovic Courtès, 2019/09/18
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, zimoun <=
- bug#37443: [PATCH] scripts: pull: Add options for generation management, Ludovic Courtès, 2019/09/18
  - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/19
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Ludovic Courtès, 2019/09/19
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, zimoun, 2019/09/19
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Ricardo Wurmus, 2019/09/19
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, zimoun, 2019/09/19
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/19
    - [bug#37443] Listing profiles, Ludovic Courtès, 2019/09/19
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Konrad Hinsen, 2019/09/19
    - [bug#37443] [PATCH] scripts: pull: Add options for generation management, Ludovic Courtès, 2019/09/19

Prev by Date: [bug#37200] [PATCH] gnu: Add roswell.
Next by Date: [bug#37443] [PATCH] scripts: pull: Add options for generation management
Previous by thread: [bug#37443] [PATCH] scripts: pull: Add options for generation management
Next by thread: bug#37443: [PATCH] scripts: pull: Add options for generation management
Index(es):
- Date
- Thread