From: Adam Dickmeiss Date: Wed, 19 Aug 2015 08:52:09 +0000 (+0200) Subject: Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mp-xquery X-Git-Tag: v0.5~3 X-Git-Url: http://git.indexdata.com/?p=mp-xquery-moved-to-github.git;a=commitdiff_plain;h=43cf61c8b4e6d973b749eb5eb5f33c0dbee758ac;ds=sidebyside Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mp-xquery --- 43cf61c8b4e6d973b749eb5eb5f33c0dbee758ac