[third try via email, gmane does not like me today] Juergen Spitzmueller wrote:
> Georg Baum wrote: >> Wether we'll get rid of this or not, this fixes a crash in the meantime. >> >> Committing now. > > Note that this breaks the display of caption labels _inside_ floats! ??? I did only prevent dereferencing a NULL-pointer, so that can't break anything. If caption labels inside floats are broken now, they were broken before. And I don't wonder that they are. Look at the comments at that place ... Georg
