Sorry, I didn't notice Sebastien's earlier message. (Hmm, should get mutt to sort threads by latest message rather than by earliest.)
Whether or not the patch has any effect for a given person may depend on the implementation of `free' being used, and on what memory allocations other library calls make. Thus, running on the maintainer's machine, or even on a couple of developers' machines (which are likely to be similar), may not be enough to see whether the bug is harmless for all Debian gedit users. I believe the patch was submitted on the basis of code inspection rather than experience: the buffer was being freed and then subsequently passed to another function, i.e. passing an invalid pointer. I haven't yet verified whether the patch is still relevant to the current version of gedit. pjrm. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
