Bug#264589: fixed now?

To: Paul Wise <pabs@debian.org>, 264589@bugs.debian.org
Cc:
Subject: Bug#264589: fixed now?
From: Thomas Lange <lange@cs.uni-koeln.de>
Date: Tue, 5 Jan 2021 11:29:43 +0100
Message-id: <[🔎] 24564.16279.999362.225877@cs.uni-koeln.de>
Reply-to: Thomas Lange <lange@cs.uni-koeln.de>, 264589@bugs.debian.org
In-reply-to: <[🔎] CAKTje6HW-T6zQxCeF03ur_VNCVOeNcdQ4H082pk-TpjgV9KBPg@mail.gmail.com>
References: <E1BuBE2-0000t6-00@halcyon.ox.icnet.uk> <24557.43405.341458.221147@cs.uni-koeln.de> <[🔎] 2d1f9904b8ad0625adb789a30ec77ce130634044.camel@debian.org> <[🔎] CAKTje6HW-T6zQxCeF03ur_VNCVOeNcdQ4H082pk-TpjgV9KBPg@mail.gmail.com> <E1BuBE2-0000t6-00@halcyon.ox.icnet.uk>

>>>>> On Sat, 2 Jan 2021 05:36:08 +0000, Paul Wise <pabs@debian.org> said:

    > I have confirmed that the patch is not yet committed to the git repo.
Thanks for the feedback.
-- 
regards Thomas

Reply to:

References:
- Bug#264589: fixed now?
  - From: Paul Wise <pabs@debian.org>
- Bug#264589: fixed now?
  - From: Paul Wise <pabs@debian.org>

Prev by Date: Re: LTS
Next by Date: Improve index page for yearly news archive
Previous by thread: Re: Bug#264589: fixed now?
Next by thread: Question regarding w.d.o build
Index(es):
- Date
- Thread