Merge remote-tracking branch 'origin/pr/1083'

* origin/pr/1083:
  Select repos to share with in node editor dialog (fixes #719)
This commit is contained in:
Jakob Borg
2014-12-06 12:30:46 +01:00
3 changed files with 52 additions and 3 deletions

File diff suppressed because one or more lines are too long