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)
commit6dfdc783147c41f8e93587d1376d0218fa20038a
treec0572c8d87275308c291b6c42ca641a22edd45a6
parent512688990fd870534e1c601bf9367728b6b69d3e
parentb787ec9e341684fcbb56156d669806013ef9c150
Merge branch 'metadata' into 'master'

Updating syntax check for Flattr (see #284)

See merge request !309