Re: removing stale config files
Ben Elliston <[email protected]>
| Newsgroups | gmane.comp.sysutils.dejagnu.general |
|---|---|
| Message-ID | <[email protected]> |
On Wed, Mar 23, 2016 at 12:29:56AM +0000, Pedro Alves wrote: > Yes. RDI was removed many years ago: > > https://sourceware.org/ml/gdb-patches/2015-08/msg00668.html Your clock runs fast. This was only six months ago. :-) Ben _______________________________________________ DejaGnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/dejagnu
signature.asc
(application/pgp-signature, 811 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIVAwUBVvHk93Y2KIi1WYjUAQibMxAAsSZd/KnPsSqWu6KVT3S7HQJm4ElIzKgP gZYrmM3hnQEWiYkl4/IM8WwIfloRHWxvL8Bz+T+YimEjylB+XE7AfmaU7DZp6LUT FPLzCURDsTprPCe03LWSgtPrl2BiL10Z8UD/kPR9tTyXYgSdJDhWZSsKVZC0CcA3 VPGrlYLWVn4RBgQHUGsETnfdAJ/pT1yfpgwFhRnQS3ofJ9BTw6s2ennI3kLEggAe PbHUIwXHUSACtgEVx6MyhWIHCKToz7JKlVuax4HrsYbRm1HO/AMPUBaMia6CDlQb CrvuZw54qgE6qeetAVpC1Dy5GGcTCDQjGdTHN42h15ePbogZcYkVvMYnv7fEcizd 2wUaD+L31Hma0jvv/+oZssaRhjEYU0n6HmjTIhsvtvGoy9/vWT9NRMy3qyC1N5GA qi27xK6eOaZlU/JJhE0zC2kT5pZ67uy83KL3yihIoRcEmD1iFJKdx9NH3DL/cYZK 1jmrkbtLxjmd6MFVWzxzoUh7LwH7kXRD1cuSyPr9ICmYMXw2JU7CBCPcQ5jj1Rx1 e7aeOuU9dlF2bJGtD5A6zFMNEqu9f2GrBAsuuOcsmucgavU45CA1N4RPa7tEvqIq 7oEBA9ZKG13KgWGsrXR1nscKqUKAXVsf5C4pnUaaMhLVubGW5ZpdWyanboIIwleF rBKl+kg5Jrc= =KK3p -----END PGP SIGNATURE-----