The pull request (https://github.com/PintaProject/Pinta/pull/23) was merged on 2012-05-18, so this is correctly tagged.
The pull request (https:/ /github. com/PintaProjec t/Pinta/ pull/23) was merged on 2012-05-18, so this is correctly tagged.