On Tue, Jun 20, 2017 at 8:05 PM, Bruce Momjian <bruce(at)momjian(dot)us> wrote:
> Our website provides a nice message-id search at:
>
> https://www.postgresql.org/list/
>
> However, I have noticed that if you paste in the message URL with
> leading or trailing spaces, it doesn't recognize the message id. Can
> the website be modified to trim off leading and trailing whitespace from
> message ids? Thanks.
>
Yeah, that's easy enough. I've pushed an update that makes it strip leading
and trailing space.
--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>