[grisbi-bugs] menu Préférence inextistant

[Christophe HERVI]

Bonjour,

J'utilise principalement grisbi sous Ubuntu 18.04 et windows à
l'occasion.

Dans la version pour Ubuntu, l'item "Préférences" n'existe pas dans le
menu "Editer". Par contre il est possible d'accéder aux préférences
avec le raccourcis clavier.

Cordialement
ChristopHe

PS: comment savoir rapidement si un bug a été signalé?