Hi,<br><br>Currently, this is disabled in rawhide as it is linking to the gtkhtml3 API.<br><br>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...)<br>
<br>TTFN<br><br>Paul<br>