|
From: | Mike Gerwitz |
Subject: | [bug#47789] [PATCH 0/6] Add TLA+ Tools (tla2tools) |
Date: | Thu, 15 Apr 2021 21:29:42 -0400 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Sorry, I sent the new series in reply to the original cover. :( -- Mike Gerwitz
signature.asc
Description: PGP signature
[Prev in Thread] | Current Thread | [Next in Thread] |