[GRASS-dev] problem in ubuntu package (ppa:grass-devel) was: can not install addons with g.extension

[Robert Nuske]

Hi there

Good News!
Thanks to Glynn's hint and Martin's fixes the daily grass70 package from 
ppa:grass-devel is now able to manage addons with g.extension.


Thanks a lot for your help!


cheers,
  robert