dita-ot/dita-ot — pull request #1530 by jelovirt (2013-07-05 21:51:58+00:00)
Title: Fix merging ID bug with duplicate topics dita-ot/dita-ot#1528

Add both topic URL and topic URL with root ID into generated ID mapping table.