Did Core-Mark get bought out?

Excuse me, could you possibly clarify something for me? I've been hearing rumors that Core-Mark, the well-known provider of vending and office-refreshment solutions, may have been acquired by another company. Is there any truth to these whispers? Have they indeed been bought out by another entity, or is this merely speculation and hearsay? I'd be greatly appreciative if you could shed some light on this matter for me.