Differentiate the ServiceTicket issued from Kinit vs PKinit

Tue Jun 2 19:56:14 EDT 2015

On Tue, Jun 02, 2015 at 11:29:35PM +0000, Brandon Allbery wrote:
> I wonder if it somehow has a duplicate message ID. I know gmail
> suppresses those (so for example I never see the copy of a list message
> that I get back, when sending from my gmail account).

Gmail doesn't suppress duplicates, it just shows them in such a way that
it's easy to ignore them.

What's funny is that this is not specific to the recipient, but to the
posted message.