On Mon, Aug 13, 2018 at 12:12:56AM -0400, John Ericson wrote:

> Hmm bummer. Sorry about that. Here's them all again, with that and
> another hopefully "non controversial" one moved to the front.

0001 and 0002 have been applied.

0003 fails to recognise decstation-3100, whereas it did before.

Ben

Attachment: signature.asc
Description: PGP signature

_______________________________________________
config-patches mailing list
config-patches@gnu.org
https://lists.gnu.org/mailman/listinfo/config-patches

Reply via email to