>epic4 2.10 appears to have a rather serious bug that caused several
>crashes for me recently.  I don't know if this has been found/fixed
>yet, but just in case it hasn't...

Thanks for the bug report!  I also don't know how this slipped through the
cracks.  Maybe not too many people have upgraded to epic4-2.10. 

There was a fix for this particular problem in epic5, which did not get
backported to epic4.  So I went ahead and did that now.  You can cvs update
to get the fix.

Thanks for the patch!  It is greatly appreciated.

Jeremy
_______________________________________________
List mailing list
List@epicsol.org
http://epicsol.org/mailman/listinfo/list

Reply via email to