diff options
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 17 |
1 files changed, 17 insertions, 0 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 ] |