Changes between Version 7 and Version 8 of Ticket #2472


Ignore:
Timestamp:
08/27/15 11:09:40 (4 years ago)
Author:
gkronber
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #2472 – Description

    v7 v8  
    44
    55For integration into stable merge the following changesets:
     6 - ticket #2430 (in particular r12846) must be merged first
    67 - r12895:12906 (Encoding, ArtificialAnt-3.5 (deleted), LawnMower-3.4 (deleted)
    7  - r12911:12912, r12915:12917
     8 - r12911:12912, r12915:12918