Changeset 38729

Timestamp:

Aug 16, 2007, 5:33:47 PM (15 years ago)

Author:

Samuel Krempp

Message:

bug fixed : prefix_ was not reset by make_or_reuse (all other buffers were).
Solves ticket #570

(No files)