From 9e4f96a1a639a29144f65ed485668251787e0af7 Mon Sep 17 00:00:00 2001
From: Guillaume Ballet <gballet@gmail.com>
Date: Tue, 5 Jun 2018 16:25:16 +0200
Subject: [PATCH] whisper: re-insert #16757 that has been lost during a merge
 (#16889)