clarify about Redhat

diff --git a/openpower/isans_letter.mdwn b/openpower/isans_letter.mdwn
index 1b993194086cdad6f2d1d82939fe490edaf159eb..bdc053b34fb5b4920fe8aeb47d040c60b07b3289 100644 (file)
--- a/openpower/isans_letter.mdwn
+++ b/openpower/isans_letter.mdwn
@@ -127,7 +127,8 @@ Therefore, to meet our business objectives:
 * We cannot meet our objectives with a "custom extension" because the
   financial burden on our team to maintain a total hard fork of not just
   toolchains, but also entire GNU/Linux Distros, is highly undesirable,
-  and completely impractical (and Redhat would strongly object anyway)
+  and completely impractical (we know for certain that Redhat would
+  strongly object to any efforts to hard-fork Fedora)
 * We cannot "go ahead anyway" because to do so would be highly irresponsible
   and cause massive disruption to the POWER community.