On Tue, Dec 22, 2020 at 06:00:38PM +0100, zimoun wrote: > Hi, > > On Thu, 03 Dec 2020 at 01:08, Leo Famulari <[email protected]> wrote: > > On Thu, Dec 03, 2020 at 01:34:23AM +0100, zimoun wrote: > >> It is a problem and the package is broken. I am assuming this package > >> is not used so I am proposing to simply remove it. Otherwise, the > >> database should be also packaged, else it appears to me meaningless. > > > > Removal sounds good to me. > > See 45372. Once merged, let close this one.
Done with commit 06de9ca75f4bb508cdba3082d8ae80f014dbc38b
