release: v0.1.4 #19
Reference in New Issue
Block a user
Delete Branch "release/v0.1.4"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Automated version bump and checksum update for v0.1.4.
Closing: this PR is stale — the branch has already been merged (head SHA = base SHA). No changes remain.