mirror of
https://github.com/pumpitupdev/pumptools.git
synced 2026-09-22 22:28:03 +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.