Open miallo opened 2 years ago
Hey! I put these two things into one PR, because they are both rather small, but of course I can split them up if you want :)
can we merge this please
Hey! I put these two things into one PR, because they are both rather small, but of course I can split them up if you want :)