[config.w32] Warn that propro was discontinued
[m6w6/ext-propro] / THANKS
2015-09-29  Michael WallnerMerge branch 'R_1_0'
2015-09-29  Michael Wallnerstandards