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