Zim

  1. Bug #791817
  2. Comment #4

Comment 4 for bug 791817

Revision history for this message
Jaap Karssenberg (jaap.karssenberg) wrote :

Will commit fix rev432 -- put fix one level deeper in buffer.get_parsetree() and removed couple of places where this was hacked in already