It was news at the time, but not a 'material change' to the business. So one should assume it has happened as apart of normal business, so there is no reason or need for a costly pr or sec filing update.