dita-ot/dita-ot — pull request #1566 by robander (2013-09-23 20:53:26+00:00)
Title: Update 1.8.* branch to fix problem with FILTERFILEURL

As discussed in issue #1565