From 1d97016fe9ec3cb6e76eae6cb263cfe41f4bf2c7 Mon Sep 17 00:00:00 2001 From: Chris Povirk Date: Wed, 22 Apr 2020 10:15:52 -0400 Subject: [PATCH] Restore "not an officially supported product." --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 57ccfe8..c01dc7f 100644 --- a/README.md +++ b/README.md @@ -4,3 +4,6 @@ An artifact of well-named and well-specified annotations to power static analysis checks. Our focus during 2018-2021 is annotations for nullness. + +This is not an officially supported product of any of the participant +organizations.