branch master updated (0b61199 -> 1c49248)

[guix-commits]

hoebjo pushed a change to branch master
in repository guix.

      from  0b61199   gnu: coq-flocq: Update to 3.1.0.
       new  d71cab2   gnu: java-tomcat: Update to 8.5.38.
       new  ae69b39   gnu: java-eclipse-sisu-inject: Don't use unstable tarball.
       new  176662a   gnu: java-eclipse-jetty-test-helper: Return #t from all 
phases.
       new  1c49248   gnu: java-eclipse-jetty-http-test-classes: Return #t from 
all phases.

The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 gnu/packages/java.scm | 10 ++++++----
 gnu/packages/web.scm  | 10 ++++++----
 2 files changed, 12 insertions(+), 8 deletions(-)