On Thu, Dec 03, 2020 at 10:10:44PM +0100, Daniel Gustafsson wrote:> +1 on this proposed rename.
Thanks. I have been able to get that done as of bd94a9c.--Michael