aries-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <>
Subject [GitHub] cschneider closed pull request #2: Update
Date Thu, 03 Jan 2019 14:49:26 GMT
cschneider closed pull request #2: Update

This is a PR merged from a forked repository.
As GitHub hides the original diff on merge, it is displayed below for
the sake of provenance:

As this is a foreign pull request (from a fork), the diff is supplied
below (as it won't show otherwise due to GitHub magic):

diff --git a/ b/
index f0c6498..d769967 100644
--- a/
+++ b/
@@ -21,3 +21,5 @@ This subproject provides an API (possibly as spec) and backends for journaled
 * Each consumer must receive messages in the same order they were sent
 * The journal of each topic may evict messages that are older than a certain retention time
+## Modules


This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:

With regards,
Apache Git Services

View raw message