On 11/15/2011 04:12 PM, Michael Zolotukhin wrote:
Looks like we have a bootstrap issue, thus sorry if may message may appear
stupid nitpicking: why Zolotukhin Michael instead of Michael Zolotukhin in the
ChangeLog? Is Michael the family name?
Michael is the first name, Zolotukhin - last name. I probably swapped
them accidentally in the changelog.
Ah, ok, thanks. Many years ago I learned this "funny" (from my parochial
Italian point of view, sorry) story:
http://en.wikipedia.org/wiki/Bui_Tuong_Phong
and I'm still quite sensitive to the issue.
Paolo.
