Parts of stronghold lava pools in deep oceans turn to obsidian

Is this still a concern in the current Minecraft version? If so, please update the affected versions in order to best aid Mojang ensuring bugs are still valid in the latest releases/pre-releases. If this has been done, we can reopen the issue.

Keep in mind that the "Resolved"-Status on this ticket just means "Answered", and that we are waiting for further information on whether this issue still exists or not. We will reopen it as soon as the requested information has been delivered.

Still exists, CaptainSparklez ran into it on his Hardcore survival let's play (also a single-room stronghold in a Deep Ocean).

That doesn't answer the moderator's question:

Is this still a concern in the current Minecraft version?

Confirmed with said custom world, seed -1958540356135925811, coordinates -556.4 35.8 -798.7

This bug may have been fixed with the stronghold generation change, can anyone confirm? The coordinates and seed from the picture no longer work.

It's been over a year since the question was asked, please respond to the question or attach the files requests and keep the ticket updated.

Cannot reproduce for 1.13.1.

Seed: -2017885350
Coords: /tp @s -794 47 2412 30 40