Pregmod v1021-385

Setting to work on all the issues on merges.

added 1 commit

• 7ebf0361 - manual merge of !1547 (closed)

Compare with previous version

added 8 commits

• 7ebf0361...06adeb9e - 6 commits from branch pregmodfan:pregmod-master
• f9c25828 - Merge remote-tracking branch 'upstream/pregmod-master' into pregmod-master
• e226e6eb - initialization for !1533 (merged)

Compare with previous version

unmarked as a Work In Progress

merged

mentioned in commit d66bfc70