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

[Mathew Hodson]

** Project changed: gummi => ubuntu-translations

** Changed in: ubuntu-translations
   Importance: Unknown => Undecided

** Changed in: ubuntu-translations
       Status: Fix Released => New

** Changed in: ubuntu-translations
 Remote watch: Debian Bug tracker #951634 => None

** No longer affects: ubuntu-translations

** Also affects: gummi (Debian) via
   https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=951634
   Importance: Unknown
       Status: Unknown

-- 
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:
  Unknown

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