Thomas Lange Wed, 20 Nov 2019 14:27:34 -0800
A patch is applied in https://github.com/faiproject/fai/commit/ee9502ade9c433c5b168ae6343d99bfb434f877a
-- regards Thomas