Merge pull request #3870 from jow-/pen-update
authorHannu Nyman <redacted>
Mon, 23 Jan 2017 05:15:24 +0000 (07:15 +0200)
committerGitHub <redacted>
Mon, 23 Jan 2017 05:15:24 +0000 (07:15 +0200)
pen: update to v0.34.0


Trivial merge
git clone https://git.99rst.org/PROJECT