25 Jul
2018
25 Jul
'18
12:49 p.m.
Am Mittwoch 25 Juli 2018 schrieb Michele Calgaro:
Alright. Until then I can apply my own patch ;-)
On 2018/07/25 09:17 PM, Stefan Krusche wrote:
Great! That's good news. Much appreciated!
Kind regards,
Stefan
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). 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.