From: Simon Josefsson Date: Wed, 3 Apr 2013 19:36:11 +0000 (+0200) Subject: Merge branch 'master' into debian X-Git-Tag: yubikey-personalisation_1.12.0-1~2 X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4166139a0964aedbcb8dd8797323a1957d8561e3;p=yubikey-personalization Merge branch 'master' into debian --- 4166139a0964aedbcb8dd8797323a1957d8561e3