diff options
Diffstat (limited to 'grub2-themes.txt')
-rw-r--r-- | grub2-themes.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grub2-themes.txt b/grub2-themes.txt index 502f3cb67776..89ec4a937820 100644 --- a/grub2-themes.txt +++ b/grub2-themes.txt @@ -13,6 +13,7 @@ 'uri': 'git+ssh://git@git.gentoo.org/repo/proj/grub2-themes.git'}], 'status': 'official'} $ pmaint sync grub2-themes +WARNING:pkgcore:ext-devlibs repo at '/var/lib/repo-mirror-ci/sync/ext-devlibs', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone). Already up to date. *** syncing grub2-themes *** synced grub2-themes |