I saw him listed, but also didn't see him on the field.
Over the years the game participation report has been more than a little inaccurate. My working assumption is that he didn't play unless the staff confirms he was in or I see him in a future game.