Subject: bug#587: 23.0.60; To source or not to source (from help)

From: Chong Yidong <[email-masked]>
Date: Mon, 01 Sep 2008 10:33:29 -0400

Martin Rudalics has checked in his fix (2008-09-01 checkin to trunk).
Now closing the bug.