Re: [PATCH] Fixes for custom-ports

[Jonas Hahnfeld]

On Tue, 2023-11-28 at 22:01 +0100, Jonas Hahnfeld wrote:
> On Sun, 2023-10-29 at 10:51 +0100, Jonas Hahnfeld via Developers list
> for Guile, the GNU extensibility library wrote:
> > Hi,
> > 
> > while playing with current Guile main on Windows, I found some problems
> > in the implementation of custom-ports that was recently committed.
> > Please consider the attached patches.
> 
> ping...

Another ping, the patches are available from the archives:
https://lists.gnu.org/archive/html/guile-devel/2023-10/msg00050.html

Jonas

signature.asc
Description: This is a digitally signed message part