Re: PDF destination names for pdfTeX and LuaTeX

[Masamichi Hosoda]

>> I've created two patches.
>> One is for pdfTeX / Luatex.
>> The other is for XeTeX.
>>
>> May I commit them?
> 
> Yes please if you think that they are correct; I don't have time to
> look at them right now.

I've committed.
Thank you.