Merge pull request #13779 from bobafetthotmail/patch-1
authorRosen Penev <rosenp@gmail.com>
Wed, 11 Nov 2020 06:43:42 +0000 (22:43 -0800)
committerGitHub <noreply@github.com>
Wed, 11 Nov 2020 06:43:42 +0000 (22:43 -0800)
docker-compose: move to Utilities in menuconfig


Trivial merge