Various small cleanups #10

Merged xogium merged 8 commits into LuminaSensum:main from LuminaSensum:jookia/cleanup1 on 23 Mar 2023

Jookia commented on 22 Mar 2023

No description provided.

xogium commented on 23 Mar 2023

Can you explain in more details what this does exactly? Also, could yo urebase this on main since it is apparently out of date.

xogium referenced the pull request on 23 Mar 2023

Various small cleanups

xogium merged commit f1aea8e into main from jookia/cleanup1 on 23 Mar 2023

xogium closed this pull request on 23 Mar 2023

Labels

Priority

default

Milestone

No milestone

Assignee

No one assigned

2 participants