Re: [Warzone2100-project] [Warzone 2100 Trac] #4254: Bug found with tsan

[Warzone 2. T. <in...@de...>]

#4254: Bug found with tsan
-------------------------------------+-------------------------
        Reporter:  nsajko            |      Owner:
            Type:  bug               |     Status:  new
        Priority:  normal            |  Milestone:  unspecified
       Component:  other             |    Version:  3.1.1
      Resolution:                    |   Keywords:
Operating System:  All/Non-Specific  |
-------------------------------------+-------------------------
Changes (by nsajko):

Attachment "WZlog-1121_004743.txt" added

http://developer.wz2100.net/raw-attachment/ticket/4254/WZlog-1121_004743.txt

--
Ticket URL: <http://developer.wz2100.net/ticket/4254>
Warzone 2100 Trac <http://developer.wz2100.net/>
The Warzone 2100 Project