Merge branch 'MDL-59594-SIGINT' of https://github.com/brendanheywood/moodle

diff --cc version.php
index 3f61943,710eac0..fa86dab
--- 1/version.php
--- 2/version.php
+++ b/version.php
@@@ -29,9 -29,9 +29,9 @@@
  
  defined('MOODLE_INTERNAL') || die();
  
- $version  = 2020011700.00;              // YYYYMMDD      = weekly release date of this DEV branch.
 -$version  = 2020010900.00;              // YYYYMMDD      = weekly release date of this DEV branch.
++$version  = 2020011700.01;              // YYYYMMDD      = weekly release date of this DEV branch.
                                          //         RR    = release increments - 00 in DEV branches.
                                          //           .XX = incremental changes.
 -$release  = '3.9dev (Build: 20200109)'; // Human-friendly version name
 +$release  = '3.9dev (Build: 20200117)'; // Human-friendly version name
  $branch   = '39';                       // This version's branch.
  $maturity = MATURITY_ALPHA;             // This version's maturity level.