On Tue, Dec 31, 2024 at 1:30 PM Bruce Momjian <br...@momjian.us> wrote:
> On Tue, Dec 31, 2024 at 03:19:25PM -0500, Roberto C. Sánchez wrote: > > > My thinking was "ask once, bump the thread once after 2 or 3 weeks just > > in case it got lost in the noise (this is a busy list), and after that > > let the matter rest if there is no answer". > > We don't normally ignore emails, so would not bother with a second > request. > And yet the squeaky wheel does seem to get the grease; and I know from personal experience that emails will go unresponded two for weeks, which to a reasonable submitter to this list, when many responses are indeed the same day, seems like an email that got overlooked. David J.