Hi Mark, the summray of patch-64 in your archive has "Stefan (patch61-158)" which is definitely wrong.
Was this a typo or is it a bug in `tla-log-edit-insert-log-for-merge'? Robert
Hi Mark, the summray of patch-64 in your archive has "Stefan (patch61-158)" which is definitely wrong.
Was this a typo or is it a bug in `tla-log-edit-insert-log-for-merge'? Robert