hexagoxel
/
brittany
1
0
Fork 0
Code Issues 117 Pull Requests 5 Packages Projects Releases 5 Wiki Activity

Permit extra-1.7 #288

Closed
ndmitchell wants to merge 1 commits from patch-1 into master
Conversation 1 Commits 1 Files Changed 1
ndmitchell commented 2020-03-14 17:29:03 +01:00 (Migrated from github.com)

I confirmed it compiled and appears to work.

I confirmed it compiled and appears to work.
lspitzner commented 2020-03-15 22:57:36 +01:00 (Migrated from github.com)

Thanks, I rebased onto release branch and published as 0.12.1.1.x2. Github is not clever enough to see it, but this is merged into master.

Thanks, I rebased onto release branch and published as `0.12.1.1.x2`. Github is not clever enough to see it, but this is merged into master.
👍 1

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
No reviewers
No Label
blocked: dependency
blocked: info-needed
bug
duplicate
enhancement
fixed in HEAD
help wanted
hs:arrows
hs:brackets
hs:classes
hs:comments
hs:do-notation
hs:guards
hs:lists
hs:operators
hs:patterns
hs:records
hs:types
invalid
language extension support
layouting
needs confirmation
priority: high
priority: low
question
revisit before next release
wontfix
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: hexagoxel/brittany#288
There is no content yet.
Delete Branch "patch-1"

Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?