From f378b5ec81ae8cd68863a85763a931bcd7777fe6 Mon Sep 17 00:00:00 2001
From: carlossanlop <carlossanlop@users.noreply.github.com>
Date: Tue, 22 Sep 2020 11:42:40 -0700
Subject: [PATCH] Document System.PlatformID.Other

---
 xml/System/PlatformID.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xml/System/PlatformID.xml b/xml/System/PlatformID.xml
index 0ef0c858c55..10bb6085a35 100644
--- a/xml/System/PlatformID.xml
+++ b/xml/System/PlatformID.xml
@@ -132,7 +132,7 @@
       </ReturnValue>
       <MemberValue>7</MemberValue>
       <Docs>
-        <summary>To be added.</summary>
+        <summary>Any other operating system. This includes Browser (WASM).</summary>
       </Docs>
     </Member>
     <Member MemberName="Unix">