Closed SerVB closed 3 years ago
Oh, thanks, I've totally forgotten about that file. Sure, I'll add a commit in this PR.
It's a good idea with the CI checking the file, I guess I will manage to add it too.
CI is done in #8
Oh, thanks, I've totally forgotten about that file. Sure, I'll add a commit in this PR.
It's a good idea with the CI checking the file, I guess I will manage to add it too.