Homec4science

Merge branch 'master' into master

Description

Merge branch 'master' into master

Event Timeline

GitHub <noreply@github.com> committed R9484:61d162b348a2: Merge branch 'master' into master (authored by Gennadiy Civil <gennadiycivil@users.noreply.github.com>).Jun 14 2018, 05:54

Merged Changes

CommitAuthorDetailsCommitted
ce468a17c434Gennadiy Civil/GitHub
Merge pull request #1627 from atetubou/stdstring 
Jun 14 2018
a0d43a7bb850Takuto Ikuta/GitHub
Merge branch 'master' into stdstring 
Jun 14 2018
885808cccbecGennadiy Civil/GitHub
Merge pull request #1631 from gennadiycivil/master 
Jun 13 2018
3847aecb5f1bGennadiy Civil
Docs sync/internal 
Jun 13 2018
c83e83eda075Gennadiy Civil/GitHub
Merge branch 'master' into stdstring 
Jun 13 2018
f4d0631a3970Takuto Ikuta
Reduce the number of strcmp calling while initialization 
Jun 12 2018