Closed sebthom closed 1 month ago
All changes look good.
Wait for review from human collaborators.
Looking through the contributor stats it seems like there are currently no active maintainers for this repo.
@se35710 @chawyehsu @HUMORCE are you still available for reviewing/merging PRs, if not who is?
Just back from vacation, will go through PR:s and issues this week.
@se35710 nice, thanks for your quick response!
@se35710 thanks a lot for your prompt approval! Is there anything else I need to do so this get merged? I don't have permission to merge it.
Closes #524