Re: PATCH: add dejagnu(1) multi-launcher [revised]
Ben Elliston <[email protected]>
| Newsgroups | gmane.comp.sysutils.dejagnu.general |
|---|---|
| Message-ID | <20181220102647.GA25311@bapbop> |
On Thu, Dec 20, 2018 at 01:05:45AM -0600, Jacob Bachmeyer wrote: > This patch is the long-promised dejagnu(1) multi-launcher, revised > to include also its first command "dejagnu help" in this patch to > ensure that it works properly. Applied. Thanks for this great work! Cheers, Ben _______________________________________________ DejaGnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/dejagnu
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEFS8+rdM1/2KWERKFZ9rcPj90NkkFAlwbbmUACgkQZ9rcPj90 NknzcA//Y2eGlFI53xSuL9h2/NmZRn2Vpn19hU9Lq5OB/oWZ71YhEwUUyEm6xaK9 o3DHYaCe/Q0ABb4P0oK9JLRKBXmHWND/NDUpsd64/UEb57NbtBhaRfdcV+D4VTZr Zne1zQfIcWnFzn2SuOgZNT/i2gUaV9krCKyaDvfLVw65JG9a5uVxDFpVIZPY/jFW aeC0B8Sgu9MJEfqw/gWlcg9KrVocc+jrodtoUovuFHDJ34HA1aMfQWJ6hkShE8mj YqV/hvhfsxoUa5ovcXXnEGuY5DZygb4e4O8ZZtGvWHBqKagisaFSw8AAp/x7Nt5R uRaz2EdNkS/MPrlozd2njZnzr8l0eN7qv2UZoHUFIebi75vgECkpirAx1PKyV7eV KVATJ3lvh1zym/GgKKxHEJkTyxuccLVkMOGRegYonEC/LRY/QFzr2emQVBfIJyJN V1jHa25iBsGOapHpFk54Om7ZFt9TvAtLoO0jbhfMKx5hJ2xxY3LG5fGi8uzMKvF6 TOs24TOjm56RZSqi/OJvGoFTdYpGTvV0zpwysDxUONserbV+eR1uP4TU+jIXXrj0 GyMC0TGAkHWIucWI36yDqJBxycba+tcedoIJu5RMkyYgVVSRvXNHtco8R1mJV8su b3GdeES7kP4uSC+vGpFDvJzfJSV6RY4x41mdQltP1sMqwFYGVM8= =oSBz -----END PGP SIGNATURE-----