|
| From: | Mike Gran |
| Subject: | [Guile-commits] branch main-patches deleted (was 6df98ba2e) |
| Date: | Fri, 2 Jun 2023 01:15:05 -0400 (EDT) |
mike121 pushed a change to branch main-patches
in repository guile.
was 6df98ba2e Modify SCM_API for DLLs
This change permanently discards the following revisions:
discard 6df98ba2e Modify SCM_API for DLLs
discard 1b44cbdf2 Update github actions
| [Prev in Thread] | Current Thread | [Next in Thread] |