Istvan Toth
Istvan Toth
Can we close this @gokceni ?
Already merged.
Already merged.
PHOENIX-6910 makes this moot.
This has been merged a long time ago.
Fixed version of this committed from #1765
Fixed by PHOENIX-6357
It's already the ned of year holidays, I suggest pinging ppl about the patch mid-january, when ppl are back and have caught up with work.
Closing as this has been merged.
Final version has been committed.