Merge pull request #3870 from jow-/pen-update
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 23 Jan 2017 05:15:24 +0000 (07:15 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Jan 2017 05:15:24 +0000 (07:15 +0200)
commit05d25619945dea146bfa29266c2bba5cda5d3117
tree63b36def4eee43b60b8a7e96da1d32f0549beeac
parent1d1804a16fe6b9521e6e94c921fb7a2ac5f209ec
parent02d3e96620041e14280477f796d95d95f88e5c8d
Merge pull request #3870 from jow-/pen-update

pen: update to v0.34.0