Did Berkshire Sell Its $800 million Stake in General Motors in Q3?

I am quoted in this article:

“Berkshire previously disclosed that it sold HP stock worth about $500 million in September, which explains some of the cost-base decline in consumer products. As for the commercial segment, David Kass, a finance professor and Buffett blogger, suggested on X that Berkshire may have sold its $800 million stake in General Motors. The release of Berkshire’s quarterly stock-portfolio update in mid-November will confirm or refute his suspicions.”