ref: d70ab6045dec8e16758cdfe9ee707a97e536175a
parent: 37e29f330f4027bde87c9174f9837f0cd21f0057
parent: 4998dfa0083e28680e5baf722f4a8a95b355c479
author: Gabriel Ravier <gabravier@gmail.com>
date: Wed May 8 06:46:51 EDT 2019
Merge branch 'master' into improveGToK