]> git.lizzy.rs Git - nothing.git/commitdiff
Merge pull request #894 from tsoding/882
authorAlexey Kutepov <reximkut@gmail.com>
Sat, 15 Jun 2019 17:10:21 +0000 (00:10 +0700)
committerGitHub <noreply@github.com>
Sat, 15 Jun 2019 17:10:21 +0000 (00:10 +0700)
(#882) Make the Platform level loadable


Trivial merge