I received this notification from GitHub this morning. Apparently,
    there's a pull request waiting for you.
    
    FWIW, I can set up a team on GitHub for Web Tools. There's more
    information here:
    
    http://wiki.eclipse.org/Git/GitHub#Teams
    
    Wayne
    
    -------- Original Message --------
    
    
    
    Fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=390826
    
    You can merge this Pull Request by running:
      git pull https://github.com/ilx/webtools.sourceediting 390826
    Or view, comment on, or merge it at:
      https://github.com/eclipse/webtools.sourceediting/pull/1
    Commit Summary
    
    File Changes
    
      - A bundles/org.eclipse.wst.xml.core/.gitignore
        (2)
- M
        bundles/org.eclipse.wst.xml.core/src-validation/org/eclipse/wst/xml/core/internal/validation/ValidatorHelper.java
        (6)
- A
        bundles/org.eclipse.wst.xml.core/src-validation/org/eclipse/wst/xml/core/internal/validation/WstCoreUtils.java
        (67)
- M
        bundles/org.eclipse.wst.xml.core/src-validation/org/eclipse/wst/xml/core/internal/validation/XMLValidator.java
        (8)
Patch Links
    
     —
      Reply to this email directly or view
        it on GitHub. 
    ![]()