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. All the best, simon
