| From: | Bruce Momjian <bruce(at)momjian(dot)us> |
|---|---|
| To: | Magnus Hagander <magnus(at)hagander(dot)net> |
| Cc: | PostgreSQL www <pgsql-www(at)postgresql(dot)org> |
| Subject: | Re: Message-Id search |
| Date: | 2017-06-20 19:01:52 |
| Message-ID: | 20170620190152.GC24979@momjian.us |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-www |
On Tue, Jun 20, 2017 at 08:58:20PM +0200, Magnus Hagander wrote:
> 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.
Thanks, I often copy/paste message-ids from indented text files and this
helps.
--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Itai Shirav | 2017-06-25 12:10:59 | Wiki editor request |
| Previous Message | Magnus Hagander | 2017-06-20 18:58:20 | Re: Message-Id search |