[ARVADOS] updated: 1.3.0-1392-gf5e83a949

[Git user]

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

       via  f5e83a9498acb9e13847cf8c96429784c8440a0a (commit)
      from  8ead06918642aa813655193d802ae82b9c363535 (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 f5e83a9498acb9e13847cf8c96429784c8440a0a
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
--