message: Switch back to Node.js 10 as default
diff: @@ -5,8 +5,8 @@ os:
  - osx
  - windows
  node_js:
  - - 12
  - 10
  + - 12
  - 8
  stages:
  - lint
  @@ -68,6 +68,7 @@ jobs:
  - stage: deploy
  if: (branch = master OR branch = develop OR branch = gsoc2019) AND NOT type = pull_request
  os: linux
  + node_js: 12
  install: skip
  script: skip
  deploy:
  