Bug#666613: Freecol FTBS: duplicate of #666637

[Vincent Fourmond]

forcemerge 666637 666613
severity 666637 grave
thanks

  This is a bug in TexLive, and it is already reported.

  I'm setting the severity to grave, as apparently this bug causes
quite a bit of FTBSes.

  Cheers,

      Vincent