romenskiy2012/curl
1
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2026-05-30 06:17:28 +03:00
Code Issues Projects Releases Packages Wiki Activity

scripts/release-notes: fix duplicate output header

Browse source
This commit is contained in:
Daniel Stenberg 2020-04-14 14:57:46 +02:00
parent 23a3ab9dd5
commit 66212a3024
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/release-notes.pl
View file

@ -160,6 +160,7 @@ for my $l (@releasenotes) {
$refused[$moreinfo{$f}]=3;
}
push @o, " --- new entries are listed above this ---";
next;
}
elsif($cleanup) {
if($l =~ /^ --- new entries are listed/) {