Processing commands for control@bugs.debian.org: > owner 381727 gurkan@phys.ethz.ch Bug #381727 [wnpp] ITP: coreboot -- Free Software BIOS replacement Owner recorded as gurkan@phys.ethz.ch. > thanks Stopping processing here. Please contact me if you need assistance. -- 381727: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=381727 Debian Bug Tracking System Contact owner@bugs.debian.org with problems