You don't know if they shorted shares. Shorts are not disclosed on 13f's. Often times funds buy puts and short at the same time. It sounds like they did short

You don't know if they shorted shares. Shorts are not disclosed on 13f's. Often times funds buy puts and short at the same time. It sounds like they did short shares of gamestop. When the first article came out it said their puts had already expired. Gabe Plotkin called into CNBC this morning and said their "short had been covered" meaning that they did short shares.