From: Simon Josefsson Date: Fri, 12 Jul 2013 09:36:14 +0000 (+0200) Subject: Merge branch 'master' into debian X-Git-Tag: yubikey-personalization_1.14.0-1~5 X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=56d3c2d5f6d399e705d6e794bcc387f0a3c3f734;p=yubikey-personalization Merge branch 'master' into debian --- 56d3c2d5f6d399e705d6e794bcc387f0a3c3f734