GNU bug report logs - #42514
[PATCH] gnu: Add bashtop.

Previous Next

Package: guix-patches;

Reported by: Michael Rohleder <mike <at> rohleder.de>

Date: Fri, 24 Jul 2020 09:51:02 UTC

Severity: normal

Tags: patch

Done: iyzsong <at> member.fsf.org (宋文武)

Bug is archived. No further changes may be made.

Full log

Message #10 received at 42514-done <at> debbugs.gnu.org (full text, mbox):

From: iyzsong <at> member.fsf.org (宋文武)
To: Michael Rohleder <mike <at> rohleder.de>
Cc: 42514-done <at> debbugs.gnu.org
Subject: Re: [bug#42514] [PATCH] gnu: Add bashtop.
Date: Sat, 25 Jul 2020 15:40:24 +0800

Michael Rohleder <mike <at> rohleder.de> writes:

> From cb46f6e74595c7d0df29ffd3431a7cce59e39cfd Mon Sep 17 00:00:00 2001
> From: Michael Rohleder <mike <at> rohleder.de>
> Date: Fri, 24 Jul 2020 11:48:02 +0200
> Subject: [PATCH] gnu: Add bashtop.
>

Applied, thank you!
This bug report was last modified 5 years and 15 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.