diff options
| -rw-r--r-- | debian/changelog | 17 | ||||
| -rw-r--r-- | src/version | 2 |
2 files changed, 18 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index c78529b..4cd954f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,20 @@ +boca (1.5.19-1) jammy; urgency=medium + + [ Rodrigo Laiola Guimarães ] + * Update autojudging.php (#30) + + [ Daniel Saad Nogueira Nunes ] + * fscore.php: now CE, Name Mismatch and Contact staff do not generate penalties. (#31) + * scorelower.php: usernames starting with scoreboss* bypass the frozen scoreboard (#32) + + [ Bruno Ribas ] + * mv postgresql/{10,14} + + [ Davi Antônio da Silva Santos ] + * Fix src/version pointing to older version + + -- Davi Antônio da Silva Santos <antoniossdavi@gmail.com> Mon, 28 Aug 2023 21:55:10 -0300 + boca (1.5.18-1) jammy; urgency=medium [ Bruno Ribas ] diff --git a/src/version b/src/version index 0c87bbd..0e65cc2 100644 --- a/src/version +++ b/src/version @@ -1 +1 @@ -boca-1.5.17 +boca-1.5.19-1 |