Am Mittwoch 25 Juli 2018 schrieb Michele Calgaro:
> On 2018/07/25 09:17 PM, Stefan Krusche wrote:
> > So, there is already a bug report: #2822 and it is already fixed in
> > commit e436f535 (for R14.0.x) just today: 2018-07-25 10:52:48. What a
> > coincidence. I should have been looking before I started to tamper ;-).
>
> It is no coincidence. I saw your first email, remember something about a
> similar bug and took a look. The fix was easy, so it made it into R14.0.5
> just passed the very last minute (we had frozen R14.0.5 yesterday but
> allowed an exception for this patch).

Great! That's good news. Much appreciated!
Kind regards,
Stefan


>
> > Will this patch be in TDE preliminary stable builds (R14.0.5) soon or do
> > I have to wait for the official release?
>
> Yes, it will be in PSB as well. Nevertheless it may take a bit longer than
> usual for the new packages to appear online, since now pre-build process of
> R14.0.5 has started on Slavek's servers.

Alright. Until then I can apply my own patch ;-)