[ARVADOS-DEV] updated: 23391a8d819238b3b9f934c93331a0d96a8dec85

[Git user]

Summary of changes:
 jenkins/run-library.sh | 30 +++++++++++++-----------------
 1 file changed, 13 insertions(+), 17 deletions(-)

       via  23391a8d819238b3b9f934c93331a0d96a8dec85 (commit)
      from  555b039609a3c8700c27767c255fdfe00eb42063 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


-----------------------------------------------------------------------


hooks/post-receive
--