[Bug 1872667] Re: Upgrade gummi package to version 0.8.1

[Alexander]

Hi Łukasz, thanks for your response. In this particular case distro-
patching is not an option. There is one critical bug, but the
development build that is being offered contains many more bugs that
were eventually fixed in the actual release. I'd like to emphasize again
that the build that Ubuntu is offering right now was never meant to go
into production.

I've taken a look at the SRU procedure, and it sounds like it could take
a while (as it should of course). For this reason I honestly would
prefer for the package to be removed from focal alltogether so users
don't potentially lose data.

-- 
You received this bug notification because you are a member of Ubuntu
Sponsors Team, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1872667

Title:
  Upgrade gummi package to version 0.8.1

Status in gummi package in Ubuntu:
  Fix Committed
Status in gummi source package in Focal:
  New
Status in gummi package in Debian:
  Fix Released

Bug description:
  Dear Maintainer,

  I am the upstream developer for gummi. After a long hiatus I have in
  recent months resumed development. Unfortunately the gummi package
  that was imported from Debian sid for this Ubuntu release is a
  development build that suffers from a critical bug.

  I hereby request to:

  1. Update the package to stable release 0.8.1 (see [2])
  2. Remove the package from ubuntu universe/tex

  Thanks in advance and with kind regards,

  alexandervdm

  [1] https://github.com/alexandervdm/gummi/issues/33
  [2] https://github.com/alexandervdm/gummi/releases/tag/0.8.1

  ProblemType: Bug
  DistroRelease: Ubuntu 20.04
  Package: gummi 0.7.999-1
  ProcVersionSignature: Ubuntu 5.4.0-18.22-generic 5.4.24
  Uname: Linux 5.4.0-18-generic x86_64
  NonfreeKernelModules: nvidia_modeset nvidia
  ApportVersion: 2.20.11-0ubuntu26
  Architecture: amd64
  CasperMD5CheckResult: skip
  CurrentDesktop: MATE
  Date: Tue Apr 14 10:54:35 2020
  InstallationDate: Installed on 2020-02-24 (49 days ago)
  InstallationMedia: Ubuntu-MATE 20.04 LTS "Focal Fossa" - Alpha amd64 (20200211)
  SourcePackage: gummi
  UpgradeStatus: No upgrade log present (probably fresh install)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gummi/+bug/1872667/+subscriptions