[ARVADOS] updated: 1.3.0-2346-gd85da11d9

[Git user]

Summary of changes:
 services/ws/event_source.go | 12 +++++++++---
 services/ws/server.go       |  1 +
 2 files changed, 10 insertions(+), 3 deletions(-)

       via  d85da11d964117ae0eafc5f73c9cfdefdddc4d2a (commit)
       via  9ebf73b1a1229bba507057ed2fb6a39635ce7e24 (commit)
       via  66d3a26aa1f5fbbdcacdd332a56447fd8afd889f (commit)
      from  12fc61c19004ad818ebe2986df5536e4fa4191cd (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.


commit d85da11d964117ae0eafc5f73c9cfdefdddc4d2a
Merge: 12fc61c19 9ebf73b1a
Author: Tom Clegg <tom at tomclegg.ca>
Date:   Thu Mar 12 09:41:55 2020 -0400

    Merge branch '16217-ws-ping'
    
    refs #16217
    
    Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom at tomclegg.ca>


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


hooks/post-receive
--