On Mon, 16 Apr 2018, Jonathan A. Kollasch wrote:
No, it has not been merged yet. Jonathan Kollasch
thanks for the update