tree 8c2291f2bd2f8edb002c6a69304bdbf5c7c910e6
parent 24f3c2bc042a175a2282580afde5f38fe665f0d9
author Karl Pauls <karlpauls@gmail.com> 1614354876 +0100
committer Karl Pauls <karlpauls@gmail.com> 1614354876 +0100

Minor cleanup