[ARVADOS] deleted: 1.3.0-2248-g9ebf73b1a

Git user git at public.arvados.org
Wed Aug 19 23:48:35 UTC 2020


       was  9ebf73b1a1229bba507057ed2fb6a39635ce7e24

-----------------------------------------------------------------------
9ebf73b1a1229bba507057ed2fb6a39635ce7e24 16217: Error out if (*pq.Listener)Ping() fails.
-----------------------------------------------------------------------


hooks/post-receive
-- 




More information about the arvados-commits mailing list