On Wed, Oct 10, 2012 at 9:04 AM, Friedman-Hill, Ernest
<ejfr...@sandia.gov> wrote:
> If you have a patch, let me know and I can post it for other people to use.

Someone already posted describing the fix here but with a patch for it:


Here is my patch with their fix:



To unsubscribe, send the words 'unsubscribe jess-users y...@address.com'
in the BODY of a message to majord...@sandia.gov, NOT to the list
(use your own address!) List problems? Notify owner-jess-us...@sandia.gov.

Reply via email to