This commit was manufactured by cvs2svn to create tag 'pan-0-13-3'. svn path=/tags/pan-0-13-3/; revision=19195