mirror of
https://github.com/pumpitupdev/pumptools.git
synced 2026-09-23 22:58:19 +03:00
voidderef
e8000214b4
Since the pumptools.zip package contains already everything that's supposed to be released on the previous version already, a separate "public" release isn't required anymore. Also address this issue in the github workflows to publish the full package including everything.