Consumer credit for October 2023 shows:Consumer credit up $5.13 billion versus $9.0 billion estimatePreviously was revised higher to $12.22 billion from $9.06 billion previously reported