Re: PATCH: add "dejagnu report card" command [revised] [status?]
Ben Elliston <[email protected]>
| Newsgroups | gmane.comp.sysutils.dejagnu.general |
|---|---|
| Message-ID | <[email protected]> |
Hi Jacob On Wed, Jan 09, 2019 at 04:47:11PM -0600, Jacob Bachmeyer wrote: > So, how is the patch review going? :-) Check git log. :-) I committed it on 2nd Jan. Sorry I didn't say so explicitly --I figured you would notice on a subsequent git pull. Cheers, Ben _______________________________________________ DejaGnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/dejagnu
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEFS8+rdM1/2KWERKFZ9rcPj90NkkFAlw2fpIACgkQZ9rcPj90 Nkk5MBAAkM45vpLCbiDzsk+E+8c6gbcFsadj5tlCWOiyEk6qyLdkFpfLVJoVqZNK 9ktUWWIOhxURipPzZoirF+AxHcBLxp4EQwAfesOGXLb/T+gaMOmclfSc1PmfWoXq /genlxrVAsnWcI33sVUwt7oNr8F/uLRlbhRj//mG91fW/AqLCaE4W+RRmAYqxWe3 51NGNrwwVWcBxYFChcjtXWkd3Ili/gFEGD+Az9UNfx3eKZTro1xI7FIIye82ikgb U4B6GoiJJnmcqVztZLZf+FsbWtYLkGI2Z1x88fCJ8zkzctgn8KTb192u/faRwAPe EGNjLJEdCYmuk9V7z6SJkDEslZysXvivk6hBu3EymvyYzvKa6h9LEWJsID+ENPnT m4FhzVGFlbmFMPCPLZFn3DiRo2AAEJt8BXRD7mmcB3EZxNu4s3vFU2NgJi2u6PcC pUWZEfRdt9TkA0rE1Y5LUg43e+sdpgt5JFDZ4gB070hxIW8UGveqNYIXUxkj3/eO kIf4uIoE9vEC/8ZolShSv9NQqDs2iqcvZM2iDWjTDDy78MbD1DCbxSMuU9G8x8BO 7n7o7wzedZiEKcKeHZ4iur7MCrr+YpmNIae6yxO1tnw3Obc3A62UJ8EljGFGiRV5 BvDsu63FzQHgHDPxul2WB5TQvvTuUiGAj4vlWNk7NdA2D984ens= =PriB -----END PGP SIGNATURE-----