April 11, 2019
12:45 p.m.
Thanks Paul, The record is set correctly BR On Wed, Apr 10, 2019 at 6:27 PM Paul Eggert <eggert@cs.ucla.edu> wrote:
Even Scharning wrote:
Our source in Palestine said it happened Friday 29 at 00:00 local time, and he also confirmed that the government switched the date from 30 March to 29 March.
Thanks, proposed further patch attached.