> Ook deze bug zal vast wel worden gevonden en gefixed, maar dat kost wel > tijd. met ABRT in Bugzilla rapporteren, dan wordt ie _zeker_ gevonden. -- //meine