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