Am 22.04.2014 17:23, schrieb Andrej Mitrovic:
On Tuesday, 22 April 2014 at 15:19:55 UTC, Andre wrote:Is the cast really needed?It's a known issue and a filed bug report. I don't have the Issue number at hand though, someone else will likely provide it.
Nice to hear that it is not by design but will be fixed. Thanks a lot. Kind regards André
