Revision 84938212a66b4e0674451f1120c250052059c7aa

Committed on 16/05/2014 4:35 pm by AndrĂ© R. <[email protected]> [GitHub Diff]

Update extension.xml for 5.3