[Goodies-dev] [Bug 8957] [PATCH] Use better border sizes
bugzilla-daemon at xfce.org
bugzilla-daemon at xfce.org
Sat Sep 14 13:17:56 CEST 2013
https://bugzilla.xfce.org/show_bug.cgi?id=8957
Harald Judt <h.judt at gmx.at> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #2 from Harald Judt <h.judt at gmx.at> ---
Yes, I think so.
--
You are receiving this mail because:
You are the QA Contact for the bug.
More information about the Goodies-dev
mailing list