Processed: Re: Bug#932521: kbd-chooser: Don't build against flex-old

To: Cyril Brulebois <kibi@debian.org>
Cc: debian-boot@lists.debian.org
Subject: Processed: Re: Bug#932521: kbd-chooser: Don't build against flex-old
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sat, 20 Jul 2019 11:57:04 +0000
Message-id: <[🔎] handler.s.B932521.15636236139847.transcript@bugs.debian.org>
References: <[🔎] 20190720115328.kkwrrtsgqzwdjlwm@mraw.org> <[🔎] 156362157143.22506.2625146014563273992.reportbug@t470s>

Processing control commands:

> tag -1 patch pending
Bug #932521 [src:kbd-chooser] kbd-chooser: Don't build against flex-old
Added tag(s) patch and pending.

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

Reply to:

References:
- Bug#932521: kbd-chooser: Don't build against flex-old
  - From: Cyril Brulebois <kibi@debian.org>
- Bug#932521: kbd-chooser: Don't build against flex-old
  - From: Tommi Vainikainen <tvainika@debian.org>

Prev by Date: Bug#932521: kbd-chooser: Don't build against flex-old
Next by Date: Processed: Bug#932521 marked as pending in kbd-chooser
Previous by thread: Bug#932521: kbd-chooser: Don't build against flex-old
Next by thread: Processed: Bug#932521 marked as pending in kbd-chooser
Index(es):
- Date
- Thread