Folk,
Do you think is this bug worth to be closed as fixed/not reproduced?
Folk,
Do you think is this bug worth to be closed as fixed/not reproduced?
The person who wrote the bug seems content, so I’d say, yes. If it comes up again, they can file a new bug.
–paulr