gobby has been replaced with gobby-infinote. This bug was not reported there, so let's close this out.
gobby has been replaced with gobby-infinote. This bug was not reported there, so let's close this out.