Merge pull request #374 from sgtatham/vala-fixes
authorJoel Martin <github@martintribe.org>
Mon, 13 May 2019 17:26:37 +0000 (10:26 -0700)
committerGitHub <noreply@github.com>
Mon, 13 May 2019 17:26:37 +0000 (10:26 -0700)
Vala fixes

1  2 
vala/stepA_mal.vala

Simple merge