Re: FTBFS bug filed, build already deleted

2023-02-23 Thread Jonathan Wakely
On Wed, 22 Feb 2023 at 14:21, Scott Talbert wrote: > > On Wed, 22 Feb 2023, Kevin Kofler via devel wrote: > > > Julian Sikorski wrote: > >> FTBFS bug was filed against mame [1]. Unfortunately, the corresponding > >> build [2] has already been deleted. This is not ideal from maintainer > >>

Re: FTBFS bug filed, build already deleted

2023-02-22 Thread Kevin Fenzi
On Wed, Feb 22, 2023 at 09:21:37AM -0500, Scott Talbert wrote: > On Wed, 22 Feb 2023, Kevin Kofler via devel wrote: > > > Julian Sikorski wrote: > > > FTBFS bug was filed against mame [1]. Unfortunately, the corresponding > > > build [2] has already been deleted. This is not ideal from maintainer

Re: FTBFS bug filed, build already deleted

2023-02-22 Thread Kevin Fenzi
On Wed, Feb 22, 2023 at 02:27:47PM +, Daniel P. Berrangé wrote: > On Mon, Feb 20, 2023 at 06:46:31PM +0100, Fabio Valentini wrote: > > On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski wrote: > > > > > > Hello, > > > > > > FTBFS bug was filed against mame [1]. Unfortunately, the corresponding >

Re: FTBFS bug filed, build already deleted

2023-02-22 Thread Daniel P . Berrangé
On Mon, Feb 20, 2023 at 06:46:31PM +0100, Fabio Valentini wrote: > On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski wrote: > > > > Hello, > > > > FTBFS bug was filed against mame [1]. Unfortunately, the corresponding > > build [2] has already been deleted. This is not ideal from maintainer > >

Re: FTBFS bug filed, build already deleted

2023-02-22 Thread Scott Talbert
On Wed, 22 Feb 2023, Kevin Kofler via devel wrote: Julian Sikorski wrote: FTBFS bug was filed against mame [1]. Unfortunately, the corresponding build [2] has already been deleted. This is not ideal from maintainer perspective as it effectively is a bug with no info provided whatsoever. Not to

Re: FTBFS bug filed, build already deleted

2023-02-21 Thread Kevin Kofler via devel
Julian Sikorski wrote: > FTBFS bug was filed against mame [1]. Unfortunately, the corresponding > build [2] has already been deleted. This is not ideal from maintainer > perspective as it effectively is a bug with no info provided whatsoever. > Not to mention being quite wasteful from the

Re: Note section size too big (was: Re: FTBFS bug filed, build already deleted)

2023-02-21 Thread Julian Sikorski
Am 21.02.23 um 15:42 schrieb Lukas Zaoral: On Mon, Feb 20, 2023 at 10:19 PM Julian Sikorski > wrote: > > Am 20.02.23 um 19:14 schrieb Orion Poplawski: > > On 2/20/23 10:46, Fabio Valentini wrote: > >> On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski

Re: Note section size too big (was: Re: FTBFS bug filed, build already deleted)

2023-02-21 Thread Lukas Zaoral
On Mon, Feb 20, 2023 at 10:19 PM Julian Sikorski wrote: > > Am 20.02.23 um 19:14 schrieb Orion Poplawski: > > On 2/20/23 10:46, Fabio Valentini wrote: > >> On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski > >> wrote: > >>> > >>> Hello, > >>> > >>> FTBFS bug was filed against mame [1].

Note section size too big (was: Re: FTBFS bug filed, build already deleted)

2023-02-20 Thread Julian Sikorski
Am 20.02.23 um 19:14 schrieb Orion Poplawski: On 2/20/23 10:46, Fabio Valentini wrote: On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski wrote: Hello, FTBFS bug was filed against mame [1]. Unfortunately, the corresponding build [2] has already been deleted. This is not ideal from maintainer

Re: FTBFS bug filed, build already deleted

2023-02-20 Thread Fabio Valentini
On Mon, Feb 20, 2023 at 7:15 PM Orion Poplawski wrote: > > On 2/20/23 10:46, Fabio Valentini wrote: > > On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski wrote: > >> > >> Hello, > >> > >> FTBFS bug was filed against mame [1]. Unfortunately, the corresponding > >> build [2] has already been

Re: FTBFS bug filed, build already deleted

2023-02-20 Thread Kevin Fenzi
On Mon, Feb 20, 2023 at 06:46:31PM +0100, Fabio Valentini wrote: > On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski wrote: > > > > Hello, > > > > FTBFS bug was filed against mame [1]. Unfortunately, the corresponding > > build [2] has already been deleted. This is not ideal from maintainer > >

Re: FTBFS bug filed, build already deleted

2023-02-20 Thread Orion Poplawski
On 2/20/23 10:46, Fabio Valentini wrote: On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski wrote: Hello, FTBFS bug was filed against mame [1]. Unfortunately, the corresponding build [2] has already been deleted. This is not ideal from maintainer perspective as it effectively is a bug with no

Re: FTBFS bug filed, build already deleted

2023-02-20 Thread Fabio Valentini
On Mon, Feb 20, 2023 at 6:43 PM Julian Sikorski wrote: > > Hello, > > FTBFS bug was filed against mame [1]. Unfortunately, the corresponding > build [2] has already been deleted. This is not ideal from maintainer > perspective as it effectively is a bug with no info provided whatsoever. > Not to

FTBFS bug filed, build already deleted

2023-02-20 Thread Julian Sikorski
Hello, FTBFS bug was filed against mame [1]. Unfortunately, the corresponding build [2] has already been deleted. This is not ideal from maintainer perspective as it effectively is a bug with no info provided whatsoever. Not to mention being quite wasteful from the resources perspective as