Subject: Re: bug#46560: [PATCH 0/2] Activate system when switching generations.
From: Brice Waegeneire <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Tue, 09 Mar 2021 07:12:40 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Ludo,

Ludovic Courtès <[email-masked]> writes:

> Brice Waegeneire <[email-masked]> skribis:
>
>> Brice Waegeneire (2):
>>   gnu: services: Add activate script to the profile system directory.
>>   scripts: system: Activate system when switching generations.
>
> LGTM, thanks!

Pushed as df138dc20858725b90ed77be85f3318cbe1be73a and later. I'll close
#38884 and will do the same or comment #36855 and #37596 about the new
feature.

Cheers,
- Brice.