Re: [xmonad] darcs patch: get rid of zombies in a more portable way