[ARVADOS] updated: 1.4.0-17-ga3c2307ee

[Git user]

Summary of changes:
 apps/workbench/npm_packages | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

       via  a3c2307eeda7ca6a529f641e717cdf0dba496c34 (commit)
      from  6fad6072822a4985ae369236559a39626ee2ba60 (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 a3c2307eeda7ca6a529f641e717cdf0dba496c34
Author: Lucas Di Pentima <ldipentima at veritasgenetics.com>
Date:   Wed Jul 24 18:31:46 2019 -0300

    Pins mithril version to fix CI pipeline.
    No issue #
    
    Arvados-DCO-1.1-Signed-off-by: Lucas Di Pentima <ldipentima at veritasgenetics.com>

diff --git a/apps/workbench/npm_packages b/apps/workbench/npm_packages
index 64f58ac46..7c757db35 100644
--- a/apps/workbench/npm_packages
+++ b/apps/workbench/npm_packages
@@ -10,5 +10,5 @@ npm 'jquery'
 npm 'awesomplete'
 npm 'jssha'
 
-npm 'mithril'
+npm 'mithril', '1.1.6'
 npm 'es6-object-assign'

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


hooks/post-receive
--