Dániel Buga b1e8c6e818
Some minor cleanup (#642)
* Fix typo

* Don't require importing paste

* Clean up warnings

* Clean up Clippy warnings
2023-07-05 11:09:04 -07:00
..
2023-05-12 13:46:56 +02:00
2023-07-05 11:09:04 -07:00
2023-05-15 17:11:31 +00:00
2023-06-21 04:03:15 -07:00
2023-04-18 13:47:49 +02:00