Ubuntu
grig package

  1. Bug #770765
  2. Comment #3

Comment 3 for bug 770765

Revision history for this message
Kamal Mostafa (kamalmostafa) wrote :

Ok, I have fixed this in Debian's grig (0.7.2-5):
http://packages.qa.debian.org/g/grig/news/20110711T204950Z.html

Ubuntu PPA build (with stock toolchain):
https://launchpad.net/~kamalmostafa/+archive/grig

Sync request to be filed shortly.