Looks like we'll want to fix it in the source code for "ui3". https://gitorious.org/gitorious/ui3/merge_requests/2
On Mon, Dec 2, 2013 at 8:25 AM, Jonathan Wakely <[email protected]> wrote: > I probably should have just fixed it rather than posting it here. > > Merge request now at > https://gitorious.org/gitorious/mainline/merge_requests/253 > > -- > -- > To post to this group, send email to [email protected] > To unsubscribe from this group, send email to > [email protected] > > --- > You received this message because you are subscribed to the Google Groups > "Gitorious" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. -- -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] --- You received this message because you are subscribed to the Google Groups "Gitorious" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
