Devnews

Updates in the Trunk since the last release up to

git log -p rel-0.5...

git log -p rel-0.5... |grep Merge|less

PR merged since 0.6rc2: git log -p rel-0.6rc2... |grep Merge|grep '#' |cut -f 8 -d ' ' #1205 #1203 #1201 #1200 #1198 #1197 #1187 #1196 #1186 #1194 #1189 #1192 #1191 #1188 #1190 #1182 #1183 #1184 #1091 #1179 #1180 #986 #1178 #1176 #1173 #1171 #1170 #1166 #1162 #1161 #1143 #1157 #1156 #1160 #1158 #1155 #1152 #1150 #1149 #1142 #1138 #1054 #1140 #1141 #1136 #1139 #1135 #1134 #1132 #1130 #1127 #1120 #1129 #1128 #1117 #1116 #1126 #1125 #1124 #1123 #1118 #1119 #1121 #1107 #1113 #1112 #1109 #1111 #1108 #1104 #1102 #1103 #1100 #1101 #1099 #1095 #1088 #1097 #1012 #1094 #1093 #1090 #1089 #1086 #1081 #1087 gh-1085