[Pan-users] [HEADSUP] Today's git corrupts 'servers.xml'

[walt]

I just pulled this morning (git ed0cd9aa) and I find that
pan omits several important items for each server when it
exits and saves 'servers.xml'.

I haven't had time to dissect the problem, but I think it
was something in today's commits that broke something,
so don't run today's pan until you save a copy of your
uncorrupted servers.xml first.

Then run it and help debug the problem :)

I'll start dissecting now.