ws-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From mariokorte <>
Subject [GitHub] webservices-xmlschema pull request #3: Fix for JIRA issue:
Date Wed, 13 Dec 2017 09:35:19 GMT
GitHub user mariokorte opened a pull request:

    Fix for JIRA issue:

    This is a fix for the issue described in JIRA:

You can merge this pull request into a Git repository by running:

    $ git pull trunk

Alternatively you can review and apply these changes as the patch at:

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #3
commit 33d55ef30e6ce522ab61ba30a9cc128a494e79a2
Author: Mario Korte <>
Date:   2017-12-13T09:33:57Z

    Fix for JIRA issue:



To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message