had a good time

• had fun, was entertained