On Mon, 08 Jul 2013 13:30:32 +0200 Vicente Olivert Riera <[email protected]> wrote:
> # Vicente Olivert Riera <[email protected]> (08 Jul 2013) > # Fails to install. Maintainer suggested treeclean. > # Masked for removal in 30 days, bug #440670. > dev-java/pat-1.5.3 Fixed as the required change was trivial and removed the mask; feel free to ping me for Java bugs like this one in the future, thanks. :) -- With kind regards, Tom Wijsman (TomWij) Gentoo Developer E-mail address : [email protected] GPG Public Key : 6D34E57D GPG Fingerprint : C165 AF18 AB4C 400B C3D2 ABF0 95B2 1FCD 6D34 E57D
signature.asc
Description: PGP signature
