Add Bob Devine's name to the optimizer README.

diff --git a/src/backend/optimizer/README b/src/backend/optimizer/README
index 14e3990922022ed121d43b0e2dae845f6d9dcd08..26f23168861b32c563698e2b3bbea02b7ade5e76 100644 (file)
--- a/src/backend/optimizer/README
+++ b/src/backend/optimizer/README
@@ -498,4 +498,9 @@ pathkey lists when computing the sort ordering needed for a mergejoin.  By
 eliminating the redundancy, we save time and improve planning, since the
 planner will more easily recognize equivalent orderings as being equivalent.
 
+Though Bob Devine  was not involved in the 
+coding of our optimizer, he is available to field questions about
+optimizer topics.
+
 -- bjm & tgl
+