Ignore:
Timestamp:
06/25/17 15:59:39 (2 years ago)
Author:
gkronber
Message:

#2581: merged r13645,r13648,r13650,r13651,r13652,r13654,r13657,r13658,r13659,r13661,r13662,r13669,r13708,r14142 from trunk to stable (to be deleted in the next commit)

Location:
stable
Files:
3 edited
2 copied

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.