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

Correct wording of warning message #108

Merged
eschnett merged 1 commits from patch-3 into dev 2018-01-16 00:37:27 +01:00
Conversation 2 Commits 1 Files Changed 1
eschnett commented 2018-01-16 00:12:19 +01:00 (Migrated from github.com)

"certain" -> "some"

Supersedes #106.

"certain" -> "some" Supersedes #106.
lspitzner commented 2018-01-16 00:39:28 +01:00 (Migrated from github.com)

Afaik github would have allowed you to change target for an open PR. Strangely the maintainer cannot, or I similarly missed that particular button :D

Afaik github would have allowed you to change target for an open PR. Strangely the maintainer cannot, or I similarly missed that particular button :D
eschnett commented 2018-01-16 01:13:51 +01:00 (Migrated from github.com)

I didn't find a button either, so this was simpler.

I didn't find a button either, so this was simpler.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
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 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
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
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#108
There is no content yet.
Delete Branch "patch-3"

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?