PERFORCE change 90068 for review

[Robert Watson]

http://perforce.freebsd.org/chv.cgi?CH=90068

Change 90068 by rwatson at rwatson_sesame on 2006/01/21 12:54:35

	Credit phk, FlexeLint.

Affected files ...

.. //depot/projects/trustedbsd/openbsm/README#9 edit

Differences ...

==== //depot/projects/trustedbsd/openbsm/README#9 (text+ko) ====

@@ -61,9 +61,11 @@
     Tom Rhodes
     Wojciech Koszek
     Chunyang Yuan
+    Poul-Henning Kamp
 
-In addition, Coverity, Inc.'s Prevent(tm) static analysis tool was used to
-identify a number of bugs in the OpenBSM implementation.
+In addition, Coverity, Inc.'s Prevent(tm) static analysis tool and Gimpel
+Software's FlexeLint tool were used to identify a number of bugs in the
+OpenBSM implementation.
 
   Contributions