Sorry for the delay, forgot to subscribe to this bug. mono-tools upstream supports several HTML engines, so using gecko-sharp (as with current Ubuntu packages) remains possible. However, the Debian Mono team will no longer be linking mono-tools (or any other Mono package) against gecko-sharp. The question therefore is a question of preference - if Ubuntu developers such as yourself don't mind needing to put in work on a merge whenever mono-tools is updated, then by all means, keep webkit-sharp out of main. If syncing is preferred due to lower admin overhead, then webkit-sharp will be required.
You may also want to look at the other non-webkit changes in 1.9-2 (http://packages.debian.org/changelogs/pool/main/m/mono-tools/mono- tools_1.9-2/changelog), but none of them are exactly vital. In either case, I'd feel much happier with 1.9-anything in Intrepid compared to the obsolete 1.2.6 currently in there. If you want to go ahead with the existing diff.gz, then feel free, it'll still produce perfectly usable packages. -- Please merge mono-tools 1.9-1 (main) from Debian unstable (main) https://bugs.launchpad.net/bugs/243093 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs