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