Re: [XBoard-devel] Re: hi tim -Winboard closes down when i try to change sounds...

[h . g . muller]

There is a good chance that this has been fixed. Some time ago Eric has
discovered and repaired a bug in free-ing memory after selecting another
sound (which should not have been done, as the memory to hold the .wav
resource was not malloc-ed), which might very likely be responsible for
this behavior.