- fix flushing of name cache - fix potential problem in upgrade script from 0.70 to 0.77 - make yesterday's change concerning regexp subsiti…
Show more
- fix flushing of name cache- fix potential problem in upgrade script from 0.70 to 0.77- make yesterday's change concerning regexp subsitituion better protected against potential conflicts with trn-mode- bump version number
Show less
