Total U.S. consumer credit increased by $18.1 billion in July to a record $5.19 trillion, following a $14.6 billion rise in June. The latest gain marked the 13th consecutive monthly increase. Revolving credit, which includes credit-card borrowing, rose by $2.8 billion to a record $1.36 trillion.