Skip to content
This repository was archived by the owner on Apr 27, 2026. It is now read-only.

v3.1.2

Choose a tag to compare

View all tags
@pjcdawkins pjcdawkins released this 06 Jun 15:28
· 3115 commits to main since this release
v3.1.2
b0eb9e3

Changes since v3.1.1:

  • Fix (and/or clarify) a build error: #453
  • Improve environment:delete --merged, using Git to find merged environments on the remote.

SHA-1 checksum for platform.phar: 63a9b606a969f8709600bd01ca1a5954b76042b3

Assets 3
Loading