On Tue, Dec 04, 2018 at 05:39:06PM -0600, Jacob Bachmeyer wrote: > I think that "depreciated" should probably be "deprecated" and that > there might be some other places where that particular typo has > snuck into the manual.
Thanks, it's a typo. BTW, neither "deprecated" nor "depreciated" has the required meaning, but deprecated has crept into hacker parlance. Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu