Merge remote-tracking branch 'rti/webkit2_ex_ctrl+p_ctrl+n' into webkit2.
authorDaniel Carl <danielcarl@gmx.de>
Mon, 27 Feb 2017 23:15:53 +0000 (00:15 +0100)
committerDaniel Carl <danielcarl@gmx.de>
Mon, 27 Feb 2017 23:15:53 +0000 (00:15 +0100)
1  2 
src/ex.c

diff --cc src/ex.c
Simple merge