Merge pull request #14685 from romildo/upd.tint2
tint2: 0.12.7 -> 0.12.9
joachifm 9 years ago 21d6e4be 840f3230