[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: guile branch_release-1-8 does not build with makeinfo 6.7
|
From: |
Thien-Thi Nguyen |
|
Subject: |
Re: guile branch_release-1-8 does not build with makeinfo 6.7 |
|
Date: |
Sat, 12 Dec 2020 04:43:28 -0500 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
() Knut Petersen <Knut_Petersen@t-online.de>
() Wed, 9 Dec 2020 21:18:28 +0100
The attached patch fixes the problem.
Thanks. Applied:
http://git.savannah.nongnu.org/cgit/guile.git/commit/?h=branch_release-1-8&id=4613c52c3b828a
--
Thien-Thi Nguyen -----------------------------------------------
(defun responsep (query) ; (2020) Software Libero
(pcase (context query) ; = Dissenso Etico
(`(technical ,ml) (correctp ml))
...)) 748E A0E8 1CB8 A748 9BFA
--------------------------------------- 6CE4 6703 2224 4C80 7502
signature.asc
Description: PGP signature