tree c551bad94ccba73f440346faf406a9a7e8b2ad0c
parent 9564d72567c9447dc3d9e3d9d4980c9610a03728
parent 95af81c87c84b818877da2c012cdabdbe1a680df
author Bogdan Caprita <caprita@google.com> 1445546027 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1445546027 +0000

Merge "services/device/dmrun: check that no device manager exists/runs already"