[ecj] 02/07: Update upstream source from tag 'upstream/3.13.1'

[Emmanuel Bourg]

This is an automated email from the git hooks/post-receive script.

ebourg-guest pushed a commit to branch master
in repository ecj.

commit 9f037f15649d43c7b89cacb49fbffaf3f2ba802b
Merge: 117ffae f46684f
Author: Emmanuel Bourg <ebourg at apache.org>
Date:   Tue Apr 10 10:22:14 2018 +0200

    Update upstream source from tag 'upstream/3.13.1'
    
    Update to upstream version '3.13.1'
    with Debian dir a7713b8786d8928ac5a5f2ca863151349c12be8d

 org.eclipse.jdt.annotation/pom.xml         | 2 +-
 org.eclipse.jdt.annotation_v1/pom.xml      | 2 +-
 org.eclipse.jdt.apt.core/pom.xml           | 2 +-
 org.eclipse.jdt.apt.pluggable.core/pom.xml | 2 +-
 org.eclipse.jdt.apt.ui/pom.xml             | 2 +-
 org.eclipse.jdt.compiler.apt/pom.xml       | 2 +-
 org.eclipse.jdt.compiler.tool/pom.xml      | 2 +-
 org.eclipse.jdt.core/pom.xml               | 2 +-
 pom.xml                                    | 4 ++--
 tests-pom/pom.xml                          | 4 ++--
 10 files changed, 12 insertions(+), 12 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/ecj.git