Make FreeBSD 12.x part of Community-Maintained platforms

(cherry picked from commit ff39441874fd234ac03567d04d8f3dad0f777b1d)

diff --git a/doc/arm/platforms.inc.rst b/doc/arm/platforms.inc.rst
index 0517cd2b47355fa8d340eeb4da0486a9ee17aedd..9203ee0809d520c7109ea3988db87d0341f46b5c 100644 (file)
--- a/doc/arm/platforms.inc.rst
+++ b/doc/arm/platforms.inc.rst
@@ -94,7 +94,7 @@ supported platforms.
    -  Debian 8 Jessie, 9 Stretch, 10 Buster, 11 Bullseye
    -  Red Hat Enterprise Linux / CentOS / Oracle Linux 6, 7
    -  Debian 8 Jessie, 9 Stretch, 10 Buster
-   -  FreeBSD 10.x, 11.x
+   -  FreeBSD 10.x, 11.x, 12.x
 
 -  Less common CPU architectures (i386, i686, mips, mipsel, sparc, ppc, and others)