Closed tarsius closed 1 year ago
This also includes the commits from #17 (so you should merge that first). I am creating a new pr for the cleanup commits, in case you want to merge the bug-fixes in #17, but not the, admittedly subjective, improvements in the cleanup commits.
This also includes the commits from #17 (so you should merge that first). I am creating a new pr for the cleanup commits, in case you want to merge the bug-fixes in #17, but not the, admittedly subjective, improvements in the cleanup commits.