Make FreeBSD 12.x part of Community-Maintained platforms

diff --git a/doc/arm/platforms.inc.rst b/doc/arm/platforms.inc.rst
index fad14e89c7eda6f9e2caf511871c4423c2d12068..b4a9fb5f7903ccdca9afe13d431412a9cbb1cb85 100644 (file)
--- a/doc/arm/platforms.inc.rst
+++ b/doc/arm/platforms.inc.rst
@@ -90,7 +90,7 @@ supported platforms.
    -  Ubuntu 14.04, 16.04, 18.04, 20.04 (Ubuntu ESM releases are not supported)
    -  Red Hat Enterprise Linux / CentOS / Oracle Linux 6, 7
    -  Debian 8 Jessie, 9 Stretch, 10 Buster, 11 Bullseye
-   -  FreeBSD 10.x, 11.x
+   -  FreeBSD 10.x, 11.x, 12.x
 
 -  Less common CPU architectures (i386, i686, mips, mipsel, sparc, ppc, and others)