autobuilder failed on coin

["Steve M. Robbins" <steven.robbins@videotron.ca>]

Hello,

I've noticed that my most recent upload of "coin" failed to build on
the m68k autobuilder.  Upon running "doxygen", the build failed with
"Error 139":

  http://buildd.debian.org/fetch.php?&pkg=coin&ver=1.0.3-3&arch=m68k&stamp=1034361383&file=log&as=raw

I believe that indicates a signal 11, right?  The odd thing is that the
autobuilder was successful the previous revision:

  http://buildd.debian.org/fetch.php?&pkg=coin&ver=1.0.3-2&arch=m68k&stamp=1034007299&file=log&as=raw

and the same doxygen version was used both times.  (Nothing changed in
the source relating to doxygen docs).  Assuming that this a one-time
glitch, could someone requeue coin for the m68k autobuilder?

Thanks,
-Steve