chiark / gitweb /
Merge branch 'metadata' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 26 Jul 2017 05:06:42 +0000 (05:06 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 26 Jul 2017 05:06:42 +0000 (05:06 +0000)
Updating syntax check for Flattr (see #284)

See merge request !309


Trivial merge