02/10、ATP Challenger Porto 2, Portugal Men Singlesでの August Holmgren 対 Henrique Rocha のライブ結果