[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#69677] [PATCH gnome-team 1/1] gnu: opam: Fix build.
|
From: |
Vivien Kraus |
|
Subject: |
[bug#69677] [PATCH gnome-team 1/1] gnu: opam: Fix build. |
|
Date: |
Sat, 09 Mar 2024 19:21:50 +0100 |
|
User-agent: |
Evolution 3.48.4 |
Le samedi 09 mars 2024 à 13:18 -0500, Maxim Cournoyer a écrit :
> Shouldn't this be 'call-with-output-file' ? It seems you want to
> *write* a file containing "ok\n".
Oops, I forgot to remove that, how embarrassing. Sorry.