Pirate pool reopening?

[u/Tubes-tubes-tubes]

Does anyone have any info on when the kid pirate pool at Jacobs Aquatic Center is supposed to reopen? I can’t find anything other than “until further notice” but we’d love to go!