Processed: Bug#968050 marked as pending in unison

To: Stéphane Glondu <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#968050 marked as pending in unison
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 07 Aug 2020 22:06:03 +0000
Message-id: <[🔎] handler.s.U968050.159683776130529.transcript@bugs.debian.org>
References: <5f2dcf7e5e0dd_3d32ae95e6afde85215e@godard.mail> <[🔎] 159679915927.5784.17222089889843976346.reportbug@jresid.jretrading.com>

Processing control commands:

> tag -1 pending
Bug #968050 [unison-2.48-gtk] unison-gtk: Latest version does not update menu correctly
Added tag(s) pending.

-- 
968050: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=968050
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#968050: unison-gtk: Latest version does not update menu correctly
  - From: Joe Rowan <jrowan@jretrading.com>

Prev by Date: Bug#946046: not fixed
Next by Date: Bug#946046: not fixed
Previous by thread: Bug#968050: unison-gtk: Latest version does not update menu correctly
Next by thread: Bug#968050: marked as done (unison-gtk: Latest version does not update menu correctly)
Index(es):
- Date
- Thread