Re: gtkhtml-sharp (gnome-desktop-sharp)

2011-03-09 Thread Christian Krause
Hi, On 03/09/2011 11:58 PM, Paul Johnson wrote: > Currently, this is disabled in rawhide as it is linking to the gtkhtml3 API. > > Does anyone know if this ban has been lifted yet or is the mono stack > going to be hobbled because of it for a while longer? (no > gnome-desktop-sharp == no mono-too

gtkhtml-sharp (gnome-desktop-sharp)

2011-03-09 Thread Paul Johnson
Hi, Currently, this is disabled in rawhide as it is linking to the gtkhtml3 API. Does anyone know if this ban has been lifted yet or is the mono stack going to be hobbled because of it for a while longer? (no gnome-desktop-sharp == no mono-tools == no monodevelop and so on...) TTFN Paul -- dev