PRs as links in the changelog,

Fixed some changelog typos,
Added few missing PR references in the Changelog
This commit is contained in:
Jindra Petřík
2023-10-01 18:21:38 +02:00
parent bcb27b6955
commit 0c8ecfe8d4
3 changed files with 70 additions and 28 deletions
+3 -1
View File
@@ -112,6 +112,8 @@ public class MetainfoUpdater {
}
private static String filterLiText(String li) {
return li.replaceAll("\\[(#[0-9]+)\\]", "$1");
li = li.replaceAll("\\[(#[0-9]+)\\]", "$1");
li = li.replaceAll("\\[(PR[0-9]+)\\]", "$1");
return li;
}
}