Merge pull request #7913 from sourcejedi/devpts
authorAlan Jenkins <alan.christopher.jenkins@gmail.com>
Thu, 18 Jan 2018 21:56:26 +0000 (21:56 +0000)
committerGitHub <noreply@github.com>
Thu, 18 Jan 2018 21:56:26 +0000 (21:56 +0000)
commit68f7480b7e38348d4ad336bcf45734a98b664b12
treeb4f3886beda6ef34b80f7f39bad5860876dc2c8d
parent51aa88268e978b5ecf926e6565682493758af21e
parent8d95368210007e50df80a9d6e6b2b86010ce2585
Merge pull request #7913 from sourcejedi/devpts

3 nitpicks from core/namespace.c
src/core/namespace.c