Please be aware that the Debian Mono team is removing, wherever possible, dependencies on xulrunner - in this specific instance, mono- tools 1.9-1 has been superceded by 1.9-2 which relies on webkit-sharp instead. As a result, this package can now be switched to Syncing rather than Merging, since webkit-sharp has been synced successfully. However, webkit-sharp is NOT in main.
One desirable aspect of webkit from an Ubuntu perspective is that it requires no Ubuntu-specific hacking on MOZILLA_FIVE_HOME, meaning more syncs and less merges as more packages in Debian are ported. Please consider promoting webkit-sharp to main, and syncing 1.9-2 -- 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
