Merge branch 'cardinal-update-1-19' into 'cardinal-update-1-13'

Cardinal Update 2020-1-19

See merge request !2
8 jobs for cardinal-update-1-13 in 9 minutes and 10 seconds (queued for 1 second)
Status Job ID Name Coverage
  Prepare
passed #82808
install

00:02:10

 
  Warmup
passed #82811
warmup-conj-ht

00:00:49

passed #82809
warmup-ethier

00:02:17

passed #82810
warmup-lowMach

00:01:30

 
  Test
passed #82815
conj-ht

00:01:20

passed #82812
ethier-default

00:00:26

passed #82813
ethier-subcycle

00:00:22

passed #82814
lowMach-default

00:00:14