String append: Difference between revisions