The bug has since been fixed on our server.
However, to be on the safe side, you should change your account, phpbb and mantis passwords.
This might also hold for any other services you use on the internet.
Keep in mind, that you should:
- Select safe passwords
- Not use the same password in multiple places
- Change your passwords regularly