Skip to content
Failed

Parameters

sha1
origin/pr/191/merge
ghprbActualCommit
a47e1d09e1ccbc025b728848e549bd504e11d614
ghprbActualCommitAuthor
TheOldOne822
ghprbActualCommitAuthorEmail
ghprbTriggerAuthor
ghprbTriggerAuthorEmail
ghprbPullId
191
ghprbTargetBranch
master
ghprbSourceBranch
patch-2
ghprbPullAuthorEmail
ghprbPullDescription
GitHub pull request #191 of commit a47e1d09e1ccbc025b728848e549bd504e11d614 automatically merged.
ghprbPullTitle
Add "treeLeaves" for leaves OreDict.
ghprbPullLink
https://github.com/progwml6/Natura/pull/191