Tried on another Ubuntu 18.04 machine. Works fine there. Can close the bug thus, I guess, unless it affects other users.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1802272 Title: broken factorization To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/form/+bug/1802272/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
