Created attachment 214197 [details]
New upstream version
Hi, thanks for the patch.
This port currently has no maintainer. Would you like to take care of this port as the maitainer?
A commit references this bug:
Date: Thu May 7 11:55:24 UTC 2020
New revision: 534265
- Update to 0.25
- Pass maintainership to submitter
- Make portlint and portclippy happy
Submitted by: Radim Kolar <firstname.lastname@example.org>
Approved by: ehaupt (mentor)