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

Reply via email to