[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH rumpkernel] prune.sh: Remove ~1.1G of currently unused bits.
|
From: |
Samuel Thibault |
|
Subject: |
Re: [PATCH rumpkernel] prune.sh: Remove ~1.1G of currently unused bits. |
|
Date: |
Wed, 28 Jun 2023 08:16:07 +0200 |
|
User-agent: |
NeoMutt/20170609 (1.8.3) |
Hello,
Damien Zammit, le sam. 24 juin 2023 02:32:03 +0000, a ecrit:
> Samuel, can you please see if this new repository is suitable to replace the
> debian rumpkernel:
>
> http://git.zammit.org/rumpkernel-debian.git
Yes, this looks alright, thanks! It's just missing the tags, which we do
want to have longterm-wise to be able to scratch back into history.
Samuel