debian/8.4-701-1

Thomas Koch

@thk-guest

ad5f3622 · Merge tag 'upstream/8.4-701' · Aug 06, 2012

tagging debian release with merged upstream