whisper: re-insert #16757 that has been lost during a merge (#16889)

This commit is contained in:
Guillaume Ballet
2018-06-05 16:25:16 +02:00
committed by GitHub
parent 01a7e267dc
commit 9e4f96a1a6

Diff Content Not Available