Subject: patch pushed

From: Efraim Flashner <[email-masked]>
Date: Fri, 13 Apr 2018 11:00:53 +0300

This is fixed in commits a5d4c96b8d90b8bb87e07bd6a7be78991db91bc9 and
1606da6c07b7b35481fb410d0a679c9452f6a319.

-- 
Efraim Flashner   <[email-masked]>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted