From 82715d0589d815a77c7139a59193899866a35f02 Mon Sep 17 00:00:00 2001 From: Martin Nowak Date: Fri, 30 Oct 2015 16:31:36 +0100 Subject: [PATCH] fixed Issue 14327 - Unhandled exception from writeln() - this is an empty dummy commit to close the bugzilla issue and generate a changelog entry - see #1412 (and de2788d911) for the original fix