Paul Menzel changed bug 81563

What	Removed	Added
Status	NEW	RESOLVED
Resolution	---	FIXED

Comment # 5 on bug 81563 from Paul Menzel

As commented by Michael, the reported bug was already fixed in the git
repository.

You are receiving this mail because:

You are the assignee for the bug.