Homec4science

Merge branch 'master' into suppressDefault

Description

Merge branch 'master' into suppressDefault

Event Timeline

GitHub <noreply@github.com> committed R9484:886a74769e61: Merge branch 'master' into suppressDefault (authored by Gennadiy Civil <gennadiycivil@users.noreply.github.com>).Aug 7 2018, 03:02

Merged Changes

CommitAuthorDetailsCommitted
28b71e444c41Gennadiy Civil/GitHub
Merge pull request #1700 from gennadiycivil/master 
Aug 6 2018
24edf4e3bfc1Gennadiy Civil
automatic code sync mgt, comment only 
Aug 6 2018
c81a34905dacGennadiy Civil/GitHub
Merge pull request #1673 from ppaulweber/bug/gcc_8_1_1_build_error 
Aug 6 2018
1da26a77c553Philipp Paulweber
Printers test: fixed compilation bug, due to unnecessary parentheses in… 
Aug 3 2018