]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph-build.git/commitdiff
projects / ceph-build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 583a35b 6cadb5e)
Merge pull request #1212 from ceph/wip-moar-cleanup
authorAlfredo Deza <alfredo@deza.pe>
Fri, 30 Nov 2018 17:33:56 +0000 (12:33 -0500)
committerGitHub <noreply@github.com>
Fri, 30 Nov 2018 17:33:56 +0000 (12:33 -0500)
build_utils: Manually clean up vagrant old domain IDs


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.