> On Sun, Apr 11, 2021 at 01:13:17PM +0200, Peter Bex wrote: > > Here's another trivial one in the same vein. > > And another one (I think this is the last one). >
Pushed. felix
> On Sun, Apr 11, 2021 at 01:13:17PM +0200, Peter Bex wrote: > > Here's another trivial one in the same vein. > > And another one (I think this is the last one). >
Pushed. felix