* Speaker notes on the title slide witn reveal.js?
@ 2019-07-23 15:07 Oliver Baumann
[not found] ` <ccc49838-dcad-4925-ba17-447d53e5f693-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>
0 siblings, 1 reply; 8+ messages in thread
From: Oliver Baumann @ 2019-07-23 15:07 UTC (permalink / raw)
To: pandoc-discuss
[-- Attachment #1.1: Type: text/plain, Size: 952 bytes --]
Hi there
I'm using the reveal.js writer to generate slides with speaker notes which
works great. I love how I can have -- when presenting -- a second window
with the notes open and the notes correspond perfectly to the slides.
However, for the title slide (which is generated from the document
metadata) I have no idea how to add speaker notes. (These notes are things
I want to say while the title is displayed and *before* the first normal
slide comes on.)
So, how can I write notes for the title slide?
Thanks for any pointers!
--
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/ccc49838-dcad-4925-ba17-447d53e5f693%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 1410 bytes --]
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Speaker notes on the title slide witn reveal.js?
[not found] ` <ccc49838-dcad-4925-ba17-447d53e5f693-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>
@ 2019-07-23 17:34 ` John MacFarlane
[not found] ` <yh480kzhl4odt3.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
0 siblings, 1 reply; 8+ messages in thread
From: John MacFarlane @ 2019-07-23 17:34 UTC (permalink / raw)
To: Oliver Baumann, pandoc-discuss
Are you using up-to-date pandoc?
This was in issue prior to 2.7, but should be fixed in commit
https://github.com/jgm/pandoc/commit/5990f14ad497999141a5b975651f83d751ec421f
Oliver Baumann <news-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org> writes:
> Hi there
>
> I'm using the reveal.js writer to generate slides with speaker notes which
> works great. I love how I can have -- when presenting -- a second window
> with the notes open and the notes correspond perfectly to the slides.
>
> However, for the title slide (which is generated from the document
> metadata) I have no idea how to add speaker notes. (These notes are things
> I want to say while the title is displayed and *before* the first normal
> slide comes on.)
>
> So, how can I write notes for the title slide?
>
> Thanks for any pointers!
>
>
> --
> You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/ccc49838-dcad-4925-ba17-447d53e5f693%40googlegroups.com.
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Speaker notes on the title slide witn reveal.js?
[not found] ` <yh480kzhl4odt3.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
@ 2019-07-23 17:35 ` John MacFarlane
[not found] ` <yh480kwog8odrf.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
0 siblings, 1 reply; 8+ messages in thread
From: John MacFarlane @ 2019-07-23 17:35 UTC (permalink / raw)
To: Oliver Baumann, pandoc-discuss
You should be able to use this format:
# Main header
::: notes
Main header notes
:::
## Subheader 1
::: notes
Subheader 1 notes
:::
## Subheader 2
::: notes
Subheader notes
:::
John MacFarlane <jgm-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org> writes:
> Are you using up-to-date pandoc?
> This was in issue prior to 2.7, but should be fixed in commit
> https://github.com/jgm/pandoc/commit/5990f14ad497999141a5b975651f83d751ec421f
>
> Oliver Baumann <news-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org> writes:
>
>> Hi there
>>
>> I'm using the reveal.js writer to generate slides with speaker notes which
>> works great. I love how I can have -- when presenting -- a second window
>> with the notes open and the notes correspond perfectly to the slides.
>>
>> However, for the title slide (which is generated from the document
>> metadata) I have no idea how to add speaker notes. (These notes are things
>> I want to say while the title is displayed and *before* the first normal
>> slide comes on.)
>>
>> So, how can I write notes for the title slide?
>>
>> Thanks for any pointers!
>>
>>
>> --
>> You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/ccc49838-dcad-4925-ba17-447d53e5f693%40googlegroups.com.
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Speaker notes on the title slide witn reveal.js?
[not found] ` <yh480kwog8odrf.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
@ 2019-07-24 8:46 ` Oliver Baumann
[not found] ` <aba86e05-0bd5-4215-8d8b-9da306d1f7d2-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>
0 siblings, 1 reply; 8+ messages in thread
From: Oliver Baumann @ 2019-07-24 8:46 UTC (permalink / raw)
To: pandoc-discuss
[-- Attachment #1.1: Type: text/plain, Size: 2572 bytes --]
I was inded on an older version.
But even with 2.7.3 I cannot get speaker notes to the title slide. When i
write
---
title: About life
author: Me
...
::: notes
Starting notes here! (belonging to teh title slide)
:::
# First content slide
::: notes
More notes
:::
# Second slide
...
The notes "*Starting notes here*" get put on a blank slide *before *"*First
content slide*".
On Wednesday, July 24, 2019 at 3:35:31 AM UTC+10, John MacFarlane wrote:
>
>
> You should be able to use this format:
>
> # Main header
>
> ::: notes
> Main header notes
> :::
>
> ## Subheader 1
>
> ::: notes
> Subheader 1 notes
> :::
>
> ## Subheader 2
>
> ::: notes
> Subheader notes
> :::
>
> John MacFarlane <j...-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org <javascript:>> writes:
>
> > Are you using up-to-date pandoc?
> > This was in issue prior to 2.7, but should be fixed in commit
> >
> https://github.com/jgm/pandoc/commit/5990f14ad497999141a5b975651f83d751ec421f
> >
> > Oliver Baumann <ne...-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org <javascript:>> writes:
> >
> >> Hi there
> >>
> >> I'm using the reveal.js writer to generate slides with speaker notes
> which
> >> works great. I love how I can have -- when presenting -- a second
> window
> >> with the notes open and the notes correspond perfectly to the slides.
> >>
> >> However, for the title slide (which is generated from the document
> >> metadata) I have no idea how to add speaker notes. (These notes are
> things
> >> I want to say while the title is displayed and *before* the first
> normal
> >> slide comes on.)
> >>
> >> So, how can I write notes for the title slide?
> >>
> >> Thanks for any pointers!
> >>
> >>
> >> --
> >> You received this message because you are subscribed to the Google
> Groups "pandoc-discuss" group.
> >> To unsubscribe from this group and stop receiving emails from it, send
> an email to pandoc-...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org <javascript:>.
> >> To view this discussion on the web visit
> https://groups.google.com/d/msgid/pandoc-discuss/ccc49838-dcad-4925-ba17-447d53e5f693%40googlegroups.com.
>
>
--
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/aba86e05-0bd5-4215-8d8b-9da306d1f7d2%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 5111 bytes --]
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Speaker notes on the title slide witn reveal.js?
[not found] ` <aba86e05-0bd5-4215-8d8b-9da306d1f7d2-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>
@ 2019-07-24 13:51 ` Jesse Rosenthal
2019-07-24 15:09 ` John MacFarlane
1 sibling, 0 replies; 8+ messages in thread
From: Jesse Rosenthal @ 2019-07-24 13:51 UTC (permalink / raw)
To: Oliver Baumann, pandoc-discuss
> But even with 2.7.3 I cannot get speaker notes to the title slide.
I haven't tried this on reveal.js, but I had to make an exception to
deal with this exact issue in PowerPoint:
https://github.com/jgm/pandoc/commit/f72a67efdd
The problem was that after the title slide, it would make an automatic
page break, before it got to the speaker notes. Not sure if there's a
sensible way to do this globally.
--J
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Speaker notes on the title slide witn reveal.js?
[not found] ` <aba86e05-0bd5-4215-8d8b-9da306d1f7d2-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>
2019-07-24 13:51 ` Jesse Rosenthal
@ 2019-07-24 15:09 ` John MacFarlane
[not found] ` <m2tvbbfp0e.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
1 sibling, 1 reply; 8+ messages in thread
From: John MacFarlane @ 2019-07-24 15:09 UTC (permalink / raw)
To: Oliver Baumann, pandoc-discuss
Oh, I misunderstood. By "title slide" I thought you meant
the section heading slide that would be created by the top-level
heading in this example.
You mean the title of the whole document.
I don't think there's a way to get speaker notes there.
Oliver Baumann <news-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org> writes:
> I was inded on an older version.
>
> But even with 2.7.3 I cannot get speaker notes to the title slide. When i
> write
>
> ---
> title: About life
> author: Me
> ...
>
> ::: notes
> Starting notes here! (belonging to teh title slide)
> :::
>
> # First content slide
>
> ::: notes
> More notes
> :::
>
> # Second slide
>
> ...
>
> The notes "*Starting notes here*" get put on a blank slide *before *"*First
> content slide*".
>
>
>
>
> On Wednesday, July 24, 2019 at 3:35:31 AM UTC+10, John MacFarlane wrote:
>>
>>
>> You should be able to use this format:
>>
>> # Main header
>>
>> ::: notes
>> Main header notes
>> :::
>>
>> ## Subheader 1
>>
>> ::: notes
>> Subheader 1 notes
>> :::
>>
>> ## Subheader 2
>>
>> ::: notes
>> Subheader notes
>> :::
>>
>> John MacFarlane <j...-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org <javascript:>> writes:
>>
>> > Are you using up-to-date pandoc?
>> > This was in issue prior to 2.7, but should be fixed in commit
>> >
>> https://github.com/jgm/pandoc/commit/5990f14ad497999141a5b975651f83d751ec421f
>> >
>> > Oliver Baumann <ne...-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org <javascript:>> writes:
>> >
>> >> Hi there
>> >>
>> >> I'm using the reveal.js writer to generate slides with speaker notes
>> which
>> >> works great. I love how I can have -- when presenting -- a second
>> window
>> >> with the notes open and the notes correspond perfectly to the slides.
>> >>
>> >> However, for the title slide (which is generated from the document
>> >> metadata) I have no idea how to add speaker notes. (These notes are
>> things
>> >> I want to say while the title is displayed and *before* the first
>> normal
>> >> slide comes on.)
>> >>
>> >> So, how can I write notes for the title slide?
>> >>
>> >> Thanks for any pointers!
>> >>
>> >>
>> >> --
>> >> You received this message because you are subscribed to the Google
>> Groups "pandoc-discuss" group.
>> >> To unsubscribe from this group and stop receiving emails from it, send
>> an email to pandoc-...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org <javascript:>.
>> >> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/pandoc-discuss/ccc49838-dcad-4925-ba17-447d53e5f693%40googlegroups.com.
>>
>>
>
> --
> You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/aba86e05-0bd5-4215-8d8b-9da306d1f7d2%40googlegroups.com.
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Speaker notes on the title slide witn reveal.js?
[not found] ` <m2tvbbfp0e.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
@ 2019-07-24 15:10 ` John MacFarlane
2019-07-26 6:59 ` Oliver Baumann
1 sibling, 0 replies; 8+ messages in thread
From: John MacFarlane @ 2019-07-24 15:10 UTC (permalink / raw)
To: Oliver Baumann, pandoc-discuss
If you want, you can put an issue on the GitHub tracker
requesting this, and we can think about how it might be done.
John MacFarlane <jgm-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org> writes:
> Oh, I misunderstood. By "title slide" I thought you meant
> the section heading slide that would be created by the top-level
> heading in this example.
>
> You mean the title of the whole document.
>
> I don't think there's a way to get speaker notes there.
>
> Oliver Baumann <news-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org> writes:
>
>> I was inded on an older version.
>>
>> But even with 2.7.3 I cannot get speaker notes to the title slide. When i
>> write
>>
>> ---
>> title: About life
>> author: Me
>> ...
>>
>> ::: notes
>> Starting notes here! (belonging to teh title slide)
>> :::
>>
>> # First content slide
>>
>> ::: notes
>> More notes
>> :::
>>
>> # Second slide
>>
>> ...
>>
>> The notes "*Starting notes here*" get put on a blank slide *before *"*First
>> content slide*".
>>
>>
>>
>>
>> On Wednesday, July 24, 2019 at 3:35:31 AM UTC+10, John MacFarlane wrote:
>>>
>>>
>>> You should be able to use this format:
>>>
>>> # Main header
>>>
>>> ::: notes
>>> Main header notes
>>> :::
>>>
>>> ## Subheader 1
>>>
>>> ::: notes
>>> Subheader 1 notes
>>> :::
>>>
>>> ## Subheader 2
>>>
>>> ::: notes
>>> Subheader notes
>>> :::
>>>
>>> John MacFarlane <j...-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org <javascript:>> writes:
>>>
>>> > Are you using up-to-date pandoc?
>>> > This was in issue prior to 2.7, but should be fixed in commit
>>> >
>>> https://github.com/jgm/pandoc/commit/5990f14ad497999141a5b975651f83d751ec421f
>>> >
>>> > Oliver Baumann <ne...-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org <javascript:>> writes:
>>> >
>>> >> Hi there
>>> >>
>>> >> I'm using the reveal.js writer to generate slides with speaker notes
>>> which
>>> >> works great. I love how I can have -- when presenting -- a second
>>> window
>>> >> with the notes open and the notes correspond perfectly to the slides.
>>> >>
>>> >> However, for the title slide (which is generated from the document
>>> >> metadata) I have no idea how to add speaker notes. (These notes are
>>> things
>>> >> I want to say while the title is displayed and *before* the first
>>> normal
>>> >> slide comes on.)
>>> >>
>>> >> So, how can I write notes for the title slide?
>>> >>
>>> >> Thanks for any pointers!
>>> >>
>>> >>
>>> >> --
>>> >> You received this message because you are subscribed to the Google
>>> Groups "pandoc-discuss" group.
>>> >> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to pandoc-...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org <javascript:>.
>>> >> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/pandoc-discuss/ccc49838-dcad-4925-ba17-447d53e5f693%40googlegroups.com.
>>>
>>>
>>
>> --
>> You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>> To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/aba86e05-0bd5-4215-8d8b-9da306d1f7d2%40googlegroups.com.
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: Speaker notes on the title slide witn reveal.js?
[not found] ` <m2tvbbfp0e.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
2019-07-24 15:10 ` John MacFarlane
@ 2019-07-26 6:59 ` Oliver Baumann
1 sibling, 0 replies; 8+ messages in thread
From: Oliver Baumann @ 2019-07-26 6:59 UTC (permalink / raw)
To: pandoc-discuss
[-- Attachment #1.1: Type: text/plain, Size: 4057 bytes --]
Thanks for your reply.
I ended up committing the meta data title slide (by just providing a
pagetitle key). now my title slide is a normal slide just with the title
information - and then it is no issue to attach speaker notes to the slide.
:-)
On Thursday, July 25, 2019 at 1:09:36 AM UTC+10, John MacFarlane wrote:
>
>
> Oh, I misunderstood. By "title slide" I thought you meant
> the section heading slide that would be created by the top-level
> heading in this example.
>
> You mean the title of the whole document.
>
> I don't think there's a way to get speaker notes there.
>
> Oliver Baumann <ne...-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org <javascript:>> writes:
>
> > I was inded on an older version.
> >
> > But even with 2.7.3 I cannot get speaker notes to the title slide. When
> i
> > write
> >
> > ---
> > title: About life
> > author: Me
> > ...
> >
> > ::: notes
> > Starting notes here! (belonging to teh title slide)
> > :::
> >
> > # First content slide
> >
> > ::: notes
> > More notes
> > :::
> >
> > # Second slide
> >
> > ...
> >
> > The notes "*Starting notes here*" get put on a blank slide *before
> *"*First
> > content slide*".
> >
> >
> >
> >
> > On Wednesday, July 24, 2019 at 3:35:31 AM UTC+10, John MacFarlane wrote:
> >>
> >>
> >> You should be able to use this format:
> >>
> >> # Main header
> >>
> >> ::: notes
> >> Main header notes
> >> :::
> >>
> >> ## Subheader 1
> >>
> >> ::: notes
> >> Subheader 1 notes
> >> :::
> >>
> >> ## Subheader 2
> >>
> >> ::: notes
> >> Subheader notes
> >> :::
> >>
> >> John MacFarlane <j...-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org <javascript:>> writes:
> >>
> >> > Are you using up-to-date pandoc?
> >> > This was in issue prior to 2.7, but should be fixed in commit
> >> >
> >>
> https://github.com/jgm/pandoc/commit/5990f14ad497999141a5b975651f83d751ec421f
> >> >
> >> > Oliver Baumann <ne...-WPTjrydoUPgeaOpM6FAJmQkbCANdLtlA@public.gmane.org <javascript:>> writes:
> >> >
> >> >> Hi there
> >> >>
> >> >> I'm using the reveal.js writer to generate slides with speaker notes
> >> which
> >> >> works great. I love how I can have -- when presenting -- a second
> >> window
> >> >> with the notes open and the notes correspond perfectly to the
> slides.
> >> >>
> >> >> However, for the title slide (which is generated from the document
> >> >> metadata) I have no idea how to add speaker notes. (These notes are
> >> things
> >> >> I want to say while the title is displayed and *before* the first
> >> normal
> >> >> slide comes on.)
> >> >>
> >> >> So, how can I write notes for the title slide?
> >> >>
> >> >> Thanks for any pointers!
> >> >>
> >> >>
> >> >> --
> >> >> You received this message because you are subscribed to the Google
> >> Groups "pandoc-discuss" group.
> >> >> To unsubscribe from this group and stop receiving emails from it,
> send
> >> an email to pandoc-...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org <javascript:>.
> >> >> To view this discussion on the web visit
> >>
> https://groups.google.com/d/msgid/pandoc-discuss/ccc49838-dcad-4925-ba17-447d53e5f693%40googlegroups.com.
>
> >>
> >>
> >
> > --
> > You received this message because you are subscribed to the Google
> Groups "pandoc-discuss" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> an email to pandoc-...-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org <javascript:>.
> > To view this discussion on the web visit
> https://groups.google.com/d/msgid/pandoc-discuss/aba86e05-0bd5-4215-8d8b-9da306d1f7d2%40googlegroups.com.
>
>
--
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/10935762-9efb-45e9-b196-c6ed841ffcda%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 7465 bytes --]
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2019-07-26 6:59 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-07-23 15:07 Speaker notes on the title slide witn reveal.js? Oliver Baumann
[not found] ` <ccc49838-dcad-4925-ba17-447d53e5f693-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>
2019-07-23 17:34 ` John MacFarlane
[not found] ` <yh480kzhl4odt3.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
2019-07-23 17:35 ` John MacFarlane
[not found] ` <yh480kwog8odrf.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
2019-07-24 8:46 ` Oliver Baumann
[not found] ` <aba86e05-0bd5-4215-8d8b-9da306d1f7d2-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>
2019-07-24 13:51 ` Jesse Rosenthal
2019-07-24 15:09 ` John MacFarlane
[not found] ` <m2tvbbfp0e.fsf-pgq/RBwaQ+zq8tPRBa0AtqxOck334EZe@public.gmane.org>
2019-07-24 15:10 ` John MacFarlane
2019-07-26 6:59 ` Oliver Baumann
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 NNTP newsgroup(s).