4be6e1b
update to 1.2.12 - Use open() instead of codecs.open() to fix dictionary loading problem on F23 - Resolves: rhbz#1257465