Hello Christopher!
Thanks for your reply. I think opening a new bug is not as good as reopening this one, because it is still not fixed and occurs in a new version of the distribution. Why split the information about the problem in two separate bugs? :-)
Hello Christopher!
Thanks for your reply. I think opening a new bug is not as good as reopening this one, because it is still not fixed and occurs in a new version of the distribution.
Why split the information about the problem in two separate bugs? :-)