From db7ec2dc62a07c076872aac57c1bb9b4ed22e6a5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20H=C3=A9bert?= Date: Thu, 4 Apr 2019 09:46:24 +0200 Subject: [PATCH] Update type