Mayor A.J. "Bert" Holder and County Commissioner Ben Ramsey cut the ribbon on the new Jacinto City Branch Library