K 10
svn:author
V 6
romain
K 8
svn:date
V 27
2018-02-13T13:00:34.365784Z
K 7
svn:log
V 110
Update to 3.1.25

Release notes:
https://developers.yubico.com/yubikey-personalization-gui/Release_Notes.html

END