Processing commands for control@bugs.debian.org: > close 910143 Bug #910143 {Done: Emmanuel Kasper <manu@debian.org>} [cloud.debian.org] cloud.debian.org: Increase vagrant disk size Bug 910143 is already marked as done; not doing anything. > thanks Stopping processing here. Please contact me if you need assistance. -- 910143: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=910143 Debian Bug Tracking System Contact owner@bugs.debian.org with problems