git: 7bf6f4fcee - main - internal/machines: Document newly deployed 15-CURRENT machines

From: Li-Wen Hsu <lwhsu_at_FreeBSD.org>
Date: Thu, 07 Sep 2023 10:44:26 UTC
The branch main has been updated by lwhsu:

URL: https://cgit.FreeBSD.org/doc/commit/?id=7bf6f4fceec5287df91db022dfb38196fc9d5a4a

commit 7bf6f4fceec5287df91db022dfb38196fc9d5a4a
Author:     Li-Wen Hsu <lwhsu@FreeBSD.org>
AuthorDate: 2023-09-07 10:36:19 +0000
Commit:     Li-Wen Hsu <lwhsu@FreeBSD.org>
CommitDate: 2023-09-07 10:36:19 +0000

    internal/machines: Document newly deployed 15-CURRENT machines
    
    Thanks philip@ for bringing them up!
---
 website/content/en/internal/machines.adoc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/website/content/en/internal/machines.adoc b/website/content/en/internal/machines.adoc
index da4c26e819..5ddbb3af9a 100644
--- a/website/content/en/internal/machines.adoc
+++ b/website/content/en/internal/machines.adoc
@@ -18,10 +18,10 @@ These systems are available for FreeBSD developer / committer use. Reference sys
 |===
 |Host |OS |Type |Purpose
 |freefall |14-CURRENT |amd64 |Shell Logins.
-|ref[14\|13\|12]-amd64 |X-STABLE |amd64 |Reference machine for general testing and Ports building.
-|ref[14\|13\|12]-i386 |X-STABLE |i386 |Reference machine for general testing and Ports building.
-|ref[14\|13\|12]-aarch64 |X-STABLE |arm64\|aarch64 |Reference machine for general testing and Ports building.
-|universe[14\|13\|12][a\|b] |X-STABLE |amd64 |Universe build machine for fast, large scale compiling.
+|ref[15\|14\|13\|12]-amd64 |X-STABLE |amd64 |Reference machine for general testing and Ports building.
+|ref[15\|14\|13\|12]-i386 |X-STABLE |i386 |Reference machine for general testing and Ports building.
+|ref[15\|14\|13\|12]-aarch64 |X-STABLE |arm64\|aarch64 |Reference machine for general testing and Ports building.
+|universe[15\|14\|13\|12][a\|b] |X-STABLE |amd64 |Universe build machine for fast, large scale compiling.
 |===
 
 Machines are generally connected at 1Gbit/sec full-duplex to a dedicated switch with redundant gigabit uplinks. All systems have logged serial consoles and remote power management.