Merge pull request #6399 from hydra/compilation-fixes-1
commit49390594d37d18c182043399050e3ebcf90b996a
authorMichael Keller <github@ike.ch>
Sat, 9 Mar 2019 09:08:03 +0000 (9 22:08 +1300)
committerGitHub <noreply@github.com>
Sat, 9 Mar 2019 09:08:03 +0000 (9 22:08 +1300)
treeefe505aa65931f2ce6163d793007f2c10bf33755
parent92ed1be027b72b19d201ed2bc42ff1896132d2d7
parent45c441804e9258cd5b1b337cae716ae6db41bdfd
Merge pull request #6399 from hydra/compilation-fixes-1

Compilation fixes 1