BUG FIX: os_name() could return character(0) [#7]#8

Merged

gaborcsardi merged 1 commit intor-lib:masterfrom HenrikBengtsson:bugfix/issue_7

Oct 2, 2017

+3-2

Commits on Sep 5, 2017

BUG FIX: os_name() could return character(0) [#7 ]
HenrikBengtsson
committed