I thought that might be the name of the pond you were talking about. You're talking about the pond at Gwynnbrook and Owings Mills Blvd.
I have never seen anything about that pond being stocked. FWIW, I've always caught fish there. Two of my three kids caught thier first fish in that pond. I have also found more free tackle there than anywhere else.