[sr #110918] savannah emailed wrong address

[Dave]

Follow-up Comment #3, sr #110918 (project administration):

Bug #63074 may offer an additional clue: Peter is listed in the cc list there
twice, once when I added him to the cc list, and once when he auto-added
himself by posting a comment.  But in one case his savannah username is listed
as "ptpi" and in the other as "PTPi".

These _should_ be the same user: observe that
http://savannah.gnu.org/users/ptpi and http://savannah.gnu.org/users/PTPi
point to the same page (user id #6531).  But also observe that the most recent
email savannah generated from this bug report (in response to its comment 17
today) went to both Peter's correct and incorrect addresses (as can be seen in
the mbox link posted in comment #1 here).

So this suggests that savannah is inconsistent in whether it considers
usernames case-sensitive: that even though part of savannah knows that ptpi
and PTPi are the same user, the cc-storing part of savannah is unaware of this
fact.  It also helps explain why Peter is being singled out: his is the only
savannah username in the groff project that uses mixed case; all the other
frequent groff contributors' handles eschew uppercase.

A further complication is that when I type "PTPi" in the cc field to add
him--the form that, under the above hypothesis, should work
correctly--savannah is converting this to "ptpi" when it stores the username
in the cc field, the form that I suspect is not working correctly.


    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/support/?110918>

_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/