On Mon, Mar 11, 2019 at 03:30:22PM -0400, Robert Haas wrote:
> Sorry that I didn't get to this before you did -- I was on PTO on
> Friday and did not work on the weekend.
My apologies, Robert. It seems that I have been too much hasty
then. There are so many things going around lately, it is hard to
keep track of everything...
--
Michael