* Re: CI Pipeline fails (doc / etex fails)
[not found] <f6bb3864-e5b1-e1a1-97c2-3d2025226759@gmx.de>
@ 2019-10-13 16:01 ` Christian Grothoff
2019-10-13 19:14 ` Paul Eggert
0 siblings, 1 reply; 6+ messages in thread
From: Christian Grothoff @ 2019-10-13 16:01 UTC (permalink / raw)
To: Tim Rühsen, bug-gnulib; +Cc: libmicrohttpd
[-- Attachment #1.1: Type: text/plain, Size: 1929 bytes --]
Dear Tim,
The error you are quoting is triggered by gpl-2.0.texi, which we copied
1:1 from gnulib (and is current). The problem also does not arise on my
system, so I suspect what you discovered could be a bug in gnulib when
the license file is used against some particular (maybe very recent)
texinfo installation/version.
Hence I'm forwarding this to bug-gnulib, as it should be fixed there
first (if at all).
Dear gnulib bug hunters, the relevant output from Tim's CI setup is:
/builds/libmicrohttpd/libmicrohttpd/libmicrohttpd-0.9.66/doc/gpl-2.0.texi
[62] [63] [64] [65]
/builds/libmicrohttpd/libmicrohttpd/libmicrohttpd-0.9.66/doc/gpl-2.0.texi:286:
This command can appear only outside of any environment, not in
environment @en
umerate.
@badenverr ...temp , not @inenvironment @thisenv }
@checkenv ...@ifx @thisenv @temp @else @badenverr
@fi
@sectionheading #1#2#3#4->{@checkenv {}
@csname #2fonts@endcsname
@rmisbold @...
@\heading ...tionheading {#1}{sec}{Yomitfromtoc}{}
@suppressfirstparagraphin...
l.286 @heading NO WARRANTY
?
/builds/libmicrohttpd/libmicrohttpd/libmicrohttpd-0.9.66/doc/gpl-2.0.texi:286:
Emergency stop.
@badenverr ...temp , not @inenvironment @thisenv }
@checkenv ...@ifx @thisenv @temp @else @badenverr
@fi
@sectionheading #1#2#3#4->{@checkenv {}
@csname #2fonts@endcsname
@rmisbold @...
@\heading ...tionheading {#1}{sec}{Yomitfromtoc}{}
@suppressfirstparagraphin...
l.286 @heading NO WARRANTY
Please let me know if you have a resolution to the problem!
Happy hacking!
Christian
On 10/13/19 2:59 PM, Tim Rühsen wrote:
> Please have a look at
>
> https://gitlab.com/libmicrohttpd/libmicrohttpd/-/jobs/319336621
>
> Regards, Tim
>
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: CI Pipeline fails (doc / etex fails)
2019-10-13 16:01 ` CI Pipeline fails (doc / etex fails) Christian Grothoff
@ 2019-10-13 19:14 ` Paul Eggert
2019-10-17 13:11 ` [libmicrohttpd] " Christian Grothoff
0 siblings, 1 reply; 6+ messages in thread
From: Paul Eggert @ 2019-10-13 19:14 UTC (permalink / raw)
To: Christian Grothoff; +Cc: libmicrohttpd, Tim Rühsen, bug-gnulib
[-- Attachment #1: Type: text/plain, Size: 2029 bytes --]
On 10/13/19 9:01 AM, Christian Grothoff wrote:
> I suspect what you discovered could be a bug in gnulib when
> the license file is used against some particular (maybe very recent)
> texinfo installation/version.
I see the problem on Ubuntu 18.04.3 LTS which has GNU texinfo 6.5 and TeX Live
2017/Debian. It's due to a bug in libmicrohttpd.texi that is unrelated to
Gnulib's gpl-2.0.texi. If I install the attached patch, "make dvi" outputs the
following diagnostics. I suggest getting an appropriate texinfo and TeX Live to
debug this.
make[2]: Entering directory '/home/eggert/junk/d/libmicrohttpd/doc'
TEXINPUTS="../build-aux:$TEXINPUTS" \
MAKEINFO='/bin/bash /home/eggert/junk/d/libmicrohttpd/build-aux/missing makeinfo
-I .' \
texi2dvi --build-dir=libmicrohttpd.t2d -o libmicrohttpd.dvi \
libmicrohttpd.texi
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded
format=etex)
restricted \write18 enabled.
entering extended mode
(../../../.././libmicrohttpd.texi
(/home/eggert/junk/d/libmicrohttpd/build-aux/texinfo.tex
Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs,
page headings, tables, conditionals, indexing, sectioning, toc, environments,
defuns, macros, cross references, insertions,
(/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
This is `epsf.tex' v2.7.4 <14 February 2011>
) localization, formatting, and turning on texinfo input format.)
(./libmicrohttpd.aux)
Runaway argument?
{microhttpd-optio
../../../.././libmicrohttpd.texi:2: File ended while scanning use of @xrdef.
<inserted text>
@par
@readdatafile ...etupdatafile @input @jobname .#1
@endgroup
@tryauxfile ... @ifeof 1 @else @readdatafile {aux}
@global @havexrefstrue @fi...
@setfilename ->@fixbackslash @iflinks @tryauxfile
@immediate @openout @auxfi...
l.2 @setfilename
libmicrohttpd.info
?
[-- Attachment #2: test.diff --]
[-- Type: text/x-patch, Size: 718 bytes --]
diff --git a/doc/libmicrohttpd.texi b/doc/libmicrohttpd.texi
index 99f0e997..bbb7419a 100644
--- a/doc/libmicrohttpd.texi
+++ b/doc/libmicrohttpd.texi
@@ -3279,22 +3279,22 @@ shorter afterwards due to elimination of escape sequences).
@node GNU-LGPL
@unnumbered GNU-LGPL
@cindex license
-@include lgpl.texi
+@c @include lgpl.texi
@node eCos License
@unnumbered eCos License
@cindex license
-@include ecos.texi
+@c @include ecos.texi
@node GNU-GPL
@unnumbered GNU General Public License
@cindex license
-@include gpl-2.0.texi
+@c @include gpl-2.0.texi
@node GNU-FDL
@unnumbered GNU-FDL
@cindex license
-@include fdl-1.3.texi
+@c @include fdl-1.3.texi
@node Concept Index
@unnumbered Concept Index
^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails)
2019-10-13 19:14 ` Paul Eggert
@ 2019-10-17 13:11 ` Christian Grothoff
2019-10-18 7:54 ` Tim Rühsen
0 siblings, 1 reply; 6+ messages in thread
From: Christian Grothoff @ 2019-10-17 13:11 UTC (permalink / raw)
To: libmicrohttpd development and user mailinglist, Paul Eggert
Cc: Tim Rühsen, bug-gnulib
[-- Attachment #1.1: Type: text/plain, Size: 2874 bytes --]
I downloaded an Ubuntu 18.04.3 LTS VM image, installed the required
packages (including texlive 2017 and texinfo 6.5) and it _still_ works
for me. I did try the texi2dvi command and others.
Tim: So sorry, but I cannot reproduce the problem.
Paul: I also completely fail to comprehend the error message and how it
would point to an issue in libmicrohttpd.texi. But if it doesn't reflect
an issue in gpl-2.0.texi, I guess you're off the hook ;-).
Happy hacking!
Christian
On 10/13/19 9:14 PM, Paul Eggert wrote:
> On 10/13/19 9:01 AM, Christian Grothoff wrote:
>> I suspect what you discovered could be a bug in gnulib when
>> the license file is used against some particular (maybe very recent)
>> texinfo installation/version.
>
> I see the problem on Ubuntu 18.04.3 LTS which has GNU texinfo 6.5 and
> TeX Live 2017/Debian. It's due to a bug in libmicrohttpd.texi that is
> unrelated to Gnulib's gpl-2.0.texi. If I install the attached patch,
> "make dvi" outputs the following diagnostics. I suggest getting an
> appropriate texinfo and TeX Live to debug this.
>
> make[2]: Entering directory '/home/eggert/junk/d/libmicrohttpd/doc'
> TEXINPUTS="../build-aux:$TEXINPUTS" \
> MAKEINFO='/bin/bash /home/eggert/junk/d/libmicrohttpd/build-aux/missing
> makeinfo -I .' \
> texi2dvi --build-dir=libmicrohttpd.t2d -o libmicrohttpd.dvi \
> libmicrohttpd.texi
> This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian)
> (preloaded format=etex)
> restricted \write18 enabled.
> entering extended mode
> (../../../.././libmicrohttpd.texi
> (/home/eggert/junk/d/libmicrohttpd/build-aux/texinfo.tex
> Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs,
> page headings, tables, conditionals, indexing, sectioning, toc,
> environments,
> defuns, macros, cross references, insertions,
> (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
> This is `epsf.tex' v2.7.4 <14 February 2011>
> ) localization, formatting, and turning on texinfo input format.)
> (./libmicrohttpd.aux)
> Runaway argument?
> {microhttpd-optio
> ../../../.././libmicrohttpd.texi:2: File ended while scanning use of
> @xrdef.
> <inserted text>
> @par
> @readdatafile ...etupdatafile @input @jobname .#1
> @endgroup
> @tryauxfile ... @ifeof 1 @else @readdatafile {aux}
> @global @havexrefstrue
> @fi...
>
> @setfilename ->@fixbackslash @iflinks @tryauxfile
> @immediate @openout
> @auxfi...
> l.2 @setfilename
> libmicrohttpd.info
> ?
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails)
2019-10-17 13:11 ` [libmicrohttpd] " Christian Grothoff
@ 2019-10-18 7:54 ` Tim Rühsen
2019-10-18 8:02 ` Tim Rühsen
0 siblings, 1 reply; 6+ messages in thread
From: Tim Rühsen @ 2019-10-18 7:54 UTC (permalink / raw)
To: Christian Grothoff,
libmicrohttpd development and user mailinglist, Paul Eggert
Cc: bug-gnulib
[-- Attachment #1.1: Type: text/plain, Size: 3131 bytes --]
Hi Christian,
I can even reproduce on Debian unstable:
./bootstrap
./configure
make
cd doc
make dvi
Regards, Tim
On 10/17/19 3:11 PM, Christian Grothoff wrote:
> I downloaded an Ubuntu 18.04.3 LTS VM image, installed the required
> packages (including texlive 2017 and texinfo 6.5) and it _still_ works
> for me. I did try the texi2dvi command and others.
>
> Tim: So sorry, but I cannot reproduce the problem.
>
> Paul: I also completely fail to comprehend the error message and how it
> would point to an issue in libmicrohttpd.texi. But if it doesn't reflect
> an issue in gpl-2.0.texi, I guess you're off the hook ;-).
>
> Happy hacking!
>
> Christian
>
> On 10/13/19 9:14 PM, Paul Eggert wrote:
>> On 10/13/19 9:01 AM, Christian Grothoff wrote:
>>> I suspect what you discovered could be a bug in gnulib when
>>> the license file is used against some particular (maybe very recent)
>>> texinfo installation/version.
>>
>> I see the problem on Ubuntu 18.04.3 LTS which has GNU texinfo 6.5 and
>> TeX Live 2017/Debian. It's due to a bug in libmicrohttpd.texi that is
>> unrelated to Gnulib's gpl-2.0.texi. If I install the attached patch,
>> "make dvi" outputs the following diagnostics. I suggest getting an
>> appropriate texinfo and TeX Live to debug this.
>>
>> make[2]: Entering directory '/home/eggert/junk/d/libmicrohttpd/doc'
>> TEXINPUTS="../build-aux:$TEXINPUTS" \
>> MAKEINFO='/bin/bash /home/eggert/junk/d/libmicrohttpd/build-aux/missing
>> makeinfo -I .' \
>> texi2dvi --build-dir=libmicrohttpd.t2d -o libmicrohttpd.dvi \
>> libmicrohttpd.texi
>> This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian)
>> (preloaded format=etex)
>> restricted \write18 enabled.
>> entering extended mode
>> (../../../.././libmicrohttpd.texi
>> (/home/eggert/junk/d/libmicrohttpd/build-aux/texinfo.tex
>> Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs,
>> page headings, tables, conditionals, indexing, sectioning, toc,
>> environments,
>> defuns, macros, cross references, insertions,
>> (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
>> This is `epsf.tex' v2.7.4 <14 February 2011>
>> ) localization, formatting, and turning on texinfo input format.)
>> (./libmicrohttpd.aux)
>> Runaway argument?
>> {microhttpd-optio
>> ../../../.././libmicrohttpd.texi:2: File ended while scanning use of
>> @xrdef.
>> <inserted text>
>> @par
>> @readdatafile ...etupdatafile @input @jobname .#1
>> @endgroup
>> @tryauxfile ... @ifeof 1 @else @readdatafile {aux}
>> @global @havexrefstrue
>> @fi...
>>
>> @setfilename ->@fixbackslash @iflinks @tryauxfile
>> @immediate @openout
>> @auxfi...
>> l.2 @setfilename
>> libmicrohttpd.info
>> ?
>
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails)
2019-10-18 7:54 ` Tim Rühsen
@ 2019-10-18 8:02 ` Tim Rühsen
2019-10-18 10:12 ` Tim Rühsen
0 siblings, 1 reply; 6+ messages in thread
From: Tim Rühsen @ 2019-10-18 8:02 UTC (permalink / raw)
To: Christian Grothoff,
libmicrohttpd development and user mailinglist, Paul Eggert
Cc: bug-gnulib
[-- Attachment #1.1: Type: text/plain, Size: 3810 bytes --]
@Paul
The error says
"/home/oms/src/libmicrohttpd/doc/gpl-2.0.texi:286: This command can
appear only outside of any environment, not in environment @enumerate."
Line 286 is
@heading NO WARRANTY
$ grep -n enumerate gpl-2.0.texi
67:@enumerate 0
104:@enumerate a
126:@end enumerate
153:@enumerate a
173:@end enumerate
314:@end enumerate
As you can see L67-L314 is an enumerate, where L286 (@heading) is enclosed.
So it looks like a problem in gpl-2.0.texi (or in the texi2dvi command
chain). Any ideas ?
Regards, Tim
On 10/18/19 9:54 AM, Tim Rühsen wrote:
> Hi Christian,
>
> I can even reproduce on Debian unstable:
>
> ./bootstrap
> ./configure
> make
> cd doc
> make dvi
>
> Regards, Tim
>
> On 10/17/19 3:11 PM, Christian Grothoff wrote:
>> I downloaded an Ubuntu 18.04.3 LTS VM image, installed the required
>> packages (including texlive 2017 and texinfo 6.5) and it _still_ works
>> for me. I did try the texi2dvi command and others.
>>
>> Tim: So sorry, but I cannot reproduce the problem.
>>
>> Paul: I also completely fail to comprehend the error message and how it
>> would point to an issue in libmicrohttpd.texi. But if it doesn't reflect
>> an issue in gpl-2.0.texi, I guess you're off the hook ;-).
>>
>> Happy hacking!
>>
>> Christian
>>
>> On 10/13/19 9:14 PM, Paul Eggert wrote:
>>> On 10/13/19 9:01 AM, Christian Grothoff wrote:
>>>> I suspect what you discovered could be a bug in gnulib when
>>>> the license file is used against some particular (maybe very recent)
>>>> texinfo installation/version.
>>>
>>> I see the problem on Ubuntu 18.04.3 LTS which has GNU texinfo 6.5 and
>>> TeX Live 2017/Debian. It's due to a bug in libmicrohttpd.texi that is
>>> unrelated to Gnulib's gpl-2.0.texi. If I install the attached patch,
>>> "make dvi" outputs the following diagnostics. I suggest getting an
>>> appropriate texinfo and TeX Live to debug this.
>>>
>>> make[2]: Entering directory '/home/eggert/junk/d/libmicrohttpd/doc'
>>> TEXINPUTS="../build-aux:$TEXINPUTS" \
>>> MAKEINFO='/bin/bash /home/eggert/junk/d/libmicrohttpd/build-aux/missing
>>> makeinfo -I .' \
>>> texi2dvi --build-dir=libmicrohttpd.t2d -o libmicrohttpd.dvi \
>>> libmicrohttpd.texi
>>> This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian)
>>> (preloaded format=etex)
>>> restricted \write18 enabled.
>>> entering extended mode
>>> (../../../.././libmicrohttpd.texi
>>> (/home/eggert/junk/d/libmicrohttpd/build-aux/texinfo.tex
>>> Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs,
>>> page headings, tables, conditionals, indexing, sectioning, toc,
>>> environments,
>>> defuns, macros, cross references, insertions,
>>> (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
>>> This is `epsf.tex' v2.7.4 <14 February 2011>
>>> ) localization, formatting, and turning on texinfo input format.)
>>> (./libmicrohttpd.aux)
>>> Runaway argument?
>>> {microhttpd-optio
>>> ../../../.././libmicrohttpd.texi:2: File ended while scanning use of
>>> @xrdef.
>>> <inserted text>
>>> @par
>>> @readdatafile ...etupdatafile @input @jobname .#1
>>> @endgroup
>>> @tryauxfile ... @ifeof 1 @else @readdatafile {aux}
>>> @global @havexrefstrue
>>> @fi...
>>>
>>> @setfilename ->@fixbackslash @iflinks @tryauxfile
>>> @immediate @openout
>>> @auxfi...
>>> l.2 @setfilename
>>> libmicrohttpd.info
>>> ?
>>
>
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [libmicrohttpd] CI Pipeline fails (doc / etex fails)
2019-10-18 8:02 ` Tim Rühsen
@ 2019-10-18 10:12 ` Tim Rühsen
0 siblings, 0 replies; 6+ messages in thread
From: Tim Rühsen @ 2019-10-18 10:12 UTC (permalink / raw)
To: Christian Grothoff,
libmicrohttpd development and user mailinglist, Paul Eggert
Cc: bug-gnulib
[-- Attachment #1.1: Type: text/plain, Size: 4140 bytes --]
There was a stale 'doc/texinfo.tex' here (no idea where it's from).
After removing it, everything works out smooth. Sorry for the wind.
Regards, Tim
On 10/18/19 10:02 AM, Tim Rühsen wrote:
> @Paul
>
> The error says
> "/home/oms/src/libmicrohttpd/doc/gpl-2.0.texi:286: This command can
> appear only outside of any environment, not in environment @enumerate."
>
>
> Line 286 is
> @heading NO WARRANTY
>
> $ grep -n enumerate gpl-2.0.texi
> 67:@enumerate 0
> 104:@enumerate a
> 126:@end enumerate
> 153:@enumerate a
> 173:@end enumerate
> 314:@end enumerate
>
> As you can see L67-L314 is an enumerate, where L286 (@heading) is enclosed.
>
> So it looks like a problem in gpl-2.0.texi (or in the texi2dvi command
> chain). Any ideas ?
>
> Regards, Tim
>
>
> On 10/18/19 9:54 AM, Tim Rühsen wrote:
>> Hi Christian,
>>
>> I can even reproduce on Debian unstable:
>>
>> ./bootstrap
>> ./configure
>> make
>> cd doc
>> make dvi
>>
>> Regards, Tim
>>
>> On 10/17/19 3:11 PM, Christian Grothoff wrote:
>>> I downloaded an Ubuntu 18.04.3 LTS VM image, installed the required
>>> packages (including texlive 2017 and texinfo 6.5) and it _still_ works
>>> for me. I did try the texi2dvi command and others.
>>>
>>> Tim: So sorry, but I cannot reproduce the problem.
>>>
>>> Paul: I also completely fail to comprehend the error message and how it
>>> would point to an issue in libmicrohttpd.texi. But if it doesn't reflect
>>> an issue in gpl-2.0.texi, I guess you're off the hook ;-).
>>>
>>> Happy hacking!
>>>
>>> Christian
>>>
>>> On 10/13/19 9:14 PM, Paul Eggert wrote:
>>>> On 10/13/19 9:01 AM, Christian Grothoff wrote:
>>>>> I suspect what you discovered could be a bug in gnulib when
>>>>> the license file is used against some particular (maybe very recent)
>>>>> texinfo installation/version.
>>>>
>>>> I see the problem on Ubuntu 18.04.3 LTS which has GNU texinfo 6.5 and
>>>> TeX Live 2017/Debian. It's due to a bug in libmicrohttpd.texi that is
>>>> unrelated to Gnulib's gpl-2.0.texi. If I install the attached patch,
>>>> "make dvi" outputs the following diagnostics. I suggest getting an
>>>> appropriate texinfo and TeX Live to debug this.
>>>>
>>>> make[2]: Entering directory '/home/eggert/junk/d/libmicrohttpd/doc'
>>>> TEXINPUTS="../build-aux:$TEXINPUTS" \
>>>> MAKEINFO='/bin/bash /home/eggert/junk/d/libmicrohttpd/build-aux/missing
>>>> makeinfo -I .' \
>>>> texi2dvi --build-dir=libmicrohttpd.t2d -o libmicrohttpd.dvi \
>>>> libmicrohttpd.texi
>>>> This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian)
>>>> (preloaded format=etex)
>>>> restricted \write18 enabled.
>>>> entering extended mode
>>>> (../../../.././libmicrohttpd.texi
>>>> (/home/eggert/junk/d/libmicrohttpd/build-aux/texinfo.tex
>>>> Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs,
>>>> page headings, tables, conditionals, indexing, sectioning, toc,
>>>> environments,
>>>> defuns, macros, cross references, insertions,
>>>> (/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
>>>> This is `epsf.tex' v2.7.4 <14 February 2011>
>>>> ) localization, formatting, and turning on texinfo input format.)
>>>> (./libmicrohttpd.aux)
>>>> Runaway argument?
>>>> {microhttpd-optio
>>>> ../../../.././libmicrohttpd.texi:2: File ended while scanning use of
>>>> @xrdef.
>>>> <inserted text>
>>>> @par
>>>> @readdatafile ...etupdatafile @input @jobname .#1
>>>> @endgroup
>>>> @tryauxfile ... @ifeof 1 @else @readdatafile {aux}
>>>> @global @havexrefstrue
>>>> @fi...
>>>>
>>>> @setfilename ->@fixbackslash @iflinks @tryauxfile
>>>> @immediate @openout
>>>> @auxfi...
>>>> l.2 @setfilename
>>>> libmicrohttpd.info
>>>> ?
>>>
>>
>
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2019-10-18 10:13 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <f6bb3864-e5b1-e1a1-97c2-3d2025226759@gmx.de>
2019-10-13 16:01 ` CI Pipeline fails (doc / etex fails) Christian Grothoff
2019-10-13 19:14 ` Paul Eggert
2019-10-17 13:11 ` [libmicrohttpd] " Christian Grothoff
2019-10-18 7:54 ` Tim Rühsen
2019-10-18 8:02 ` Tim Rühsen
2019-10-18 10:12 ` Tim Rühsen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).