minor fixes qol #6

Merged

pratyush merged 1 commits from devel into master 2022-04-16 15:58:19 +02:00

Conversation 0 Commits 1 Files Changed 3 +5 -1

1 Commits

Author	SHA1	Message	Date
Pratyush Desai	a6a94d1602	minor fixes qol	2022-04-16 19:18:20 +05:30