Merge branch 'pt/tcltk8513' into devel
authorPat Thoyts <patthoyts@users.sourceforge.net>
Tue, 27 Nov 2012 22:04:37 +0000 (27 22:04 +0000)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Tue, 27 Nov 2012 22:04:37 +0000 (27 22:04 +0000)

Trivial merge