Nore more duplicatas when generating operations.xml from the update tool.
oops
Update post_update.php
Merge pull request #951 from ngodfraind/master

Updater script.