[Warzone2100-project] [Warzone 2100 Trac] #3830: 3.1.0

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

#3830: 3.1.0
------------------------------------------+--------------------------------
 Reporter:  vexed                         |             Owner:
     Type:  to-do (no feature requests!)  |            Status:  new
 Priority:  blocker                       |         Milestone:  3.1
Component:  Build system                  |           Version:  unspecified
 Keywords:                                |        Blocked By:
 Blocking:                                |  Operating System:  All/Non-
                                          |  Specific
------------------------------------------+--------------------------------
 Since dak180 wasn't around, couldn't make 3.1.0.
 So here are the changes for linux & windows.

 I don't think there is anything left needed to change, I don't see
 autorevision.conf anymore, so I guess
 http://developer.wz2100.net/wiki/ReleaseChecklist doesn't apply still ?

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