On Fri, Oct 8, 2021 at 2:46 PM Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
> > On 8 Oct 2021, at 12:43, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>
> > .. let's just remove it.
>
> Concretely, the attached is what is proposed.
>
+1 for doing that one.
I think you also need to update the "last updated" date, but otherwise
looks good.
--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>