| 1 |
On Mon, 08 Jul 2013 13:30:32 +0200 |
| 2 |
Vicente Olivert Riera <vincent@g.o> wrote: |
| 3 |
|
| 4 |
> # Vicente Olivert Riera <vincent@g.o> (08 Jul 2013) |
| 5 |
> # Fails to install. Maintainer suggested treeclean. |
| 6 |
> # Masked for removal in 30 days, bug #440670. |
| 7 |
> dev-java/pat-1.5.3 |
| 8 |
|
| 9 |
Fixed as the required change was trivial and removed the mask; feel |
| 10 |
free to ping me for Java bugs like this one in the future, thanks. :) |
| 11 |
|
| 12 |
-- |
| 13 |
With kind regards, |
| 14 |
|
| 15 |
Tom Wijsman (TomWij) |
| 16 |
Gentoo Developer |
| 17 |
|
| 18 |
E-mail address : TomWij@g.o |
| 19 |
GPG Public Key : 6D34E57D |
| 20 |
GPG Fingerprint : C165 AF18 AB4C 400B C3D2 ABF0 95B2 1FCD 6D34 E57D |
Archives