[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42514: [PATCH] gnu: Add bashtop.
From: |
宋文武 |
Subject: |
bug#42514: [PATCH] gnu: Add bashtop. |
Date: |
Sat, 25 Jul 2020 15:40:24 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Michael Rohleder <mike@rohleder.de> writes:
> From cb46f6e74595c7d0df29ffd3431a7cce59e39cfd Mon Sep 17 00:00:00 2001
> From: Michael Rohleder <mike@rohleder.de>
> Date: Fri, 24 Jul 2020 11:48:02 +0200
> Subject: [PATCH] gnu: Add bashtop.
>
Applied, thank you!