[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Release branch added to git
From: |
Patrice Dumas |
Subject: |
Re: Release branch added to git |
Date: |
Sat, 12 Nov 2022 23:53:19 +0100 |
On Sat, Nov 12, 2022 at 10:26:54PM +0000, Gavin Smith wrote:
>
> Commit 15ef3457ed1 (on release branch)
>
> This led to test result changes in
> tp/t/results/sectioning/unnumbered_before_top_node.pl
> tp/t/results/preformatted/titlefont_in_example.pl
>
> which weren't on the master branch - in both cases, the title from
> @titlefont was lost, although @titlefont was used in an unusual context.
> I assume this doesn't matter but please let me know if it does.
It looks like a bug,
@@ -9916,6 +9927,7 @@ sub output($$)
if (!$fulltitle and $self->{'global_commands'}->{'titlefont'}
and $self->{'global_commands'}->{'titlefont'}->[0]->{'args'}
and
defined($self->{'global_commands'}->{'titlefont'}->[0]->{'args'}->[0])
+ and $self->{'global_commands'}->{'titlefont'}->[0]->{'contents'}
and
@{$self->{'global_commands'}->{'titlefont'}->[0]->{'args'}->[0]->{'contents'}})
{
$fulltitle = $self->{'global_commands'}->{'titlefont'}->[0];
}
should be
and
$self->{'global_commands'}->{'titlefont'}->[0]->{'args'}->[0]->{'contents'}
I will do a fix in master.
--
Pat
- git structure and release policy, Gavin Smith, 2022/11/08
- Re: git structure and release policy, Eli Zaretskii, 2022/11/08
- Re: git structure and release policy, Gavin Smith, 2022/11/08
- Re: git structure and release policy, Eli Zaretskii, 2022/11/08
- Re: git structure and release policy, Gavin Smith, 2022/11/08
- Release branch added to git, Gavin Smith, 2022/11/12
- Re: Release branch added to git, Raymond Toy, 2022/11/12
- Re: Release branch added to git, Gavin Smith, 2022/11/12
- Re: Release branch added to git, Raymond Toy, 2022/11/12
- Re: Release branch added to git,
Patrice Dumas <=
- Re: Release branch added to git, Gavin Smith, 2022/11/12
- Re: Release branch added to git, Patrice Dumas, 2022/11/12
- Re: Release branch added to git, Patrice Dumas, 2022/11/12
- Re: Release branch added to git, Gavin Smith, 2022/11/12
- Re: Release branch added to git, Patrice Dumas, 2022/11/12
- Re: Release branch added to git, Robert Pluim, 2022/11/23
- Re: Release branch added to git, Gavin Smith, 2022/11/23
Re: git structure and release policy, Sam James, 2022/11/08