[Bug 1048061] Re: Sync request for cvc3 2.4.1-4 from Debian sid
I don't know how this played out, but I see that Ubuntu 14.04 shipped with cvc3 2.4.1-4ubuntu1, so I believe this can be considered fixed. ** Changed in: cvc3 (Ubuntu) Status: New => Fix Released ** Tags added: upgrade-software-version -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1048061 Title: Sync request for cvc3 2.4.1-4 from Debian sid To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/cvc3/+bug/1048061/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1048061] Re: Sync request for cvc3 2.4.1-4 from Debian sid
There is nothing to sponsor here right now, as gmp needs to be merged first (and the new version needs to be checked for new features, ABI/API changes, etc., as we are in feature freeze). Unsubscribing sponsors for now, please re-subscribe if gmp got fixed or merging the new version from Debian is safe. Thanks! -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1048061 Title: Sync request for cvc3 2.4.1-4 from Debian sid To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/cvc3/+bug/1048061/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1048061] Re: Sync request for cvc3 2.4.1-4 from Debian sid
** Summary changed: - cvc3 2.4.1-2 has a release critical bug; fixed in Debian testing + Sync request for cvc3 2.4.1-4 from Debian sid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1048061 Title: Sync request for cvc3 2.4.1-4 from Debian sid To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/cvc3/+bug/1048061/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs