db Sat, 04 Feb 2017 12:25:41 -0800
Could you please review this ticket? I submitted it 8 days ago.
(I already sent this message to the dev list, but got rejected since I'm not subscribed there, oh well…).