tree 0ff1dc68ce2632984ef5ac0abf5bb9f199195ff3
parent 25cda63f3c42333bc23200e54a6437a28409a000
author maxwen <max.weninger@gmail.com> 1543577397 +0100
committer maxwen <max.weninger@gmail.com> 1543577397 +0100

manifest: kill the cuttlefish correctly

Change-Id: I68b03b415d39bbc18baf34277ecda4028ad00a74