124
124
about the problem you observed, and you will eventually be informed
125
125
that your bug report has been closed. This means that the bug has
126
126
been fixed at least in the
128
128
repository. If the answers you receive don't satisfy you, don't
129
129
hesitate to contact the developers directly under