[#395] github-issue-395-add-pull-from#397

nrslib wants to merge 1 commit intomainnrslib/takt:mainfrom

takt/395/github-issue-395-add-pull-fromnrslib/takt:takt/395/github-issue-395-add-pull-fromCopy head branch name to clipboard