Prva tekma 9. kroga državnega prvenstva ni dala zmagovalca, potem ko se je mestni derbi Olimpije in Brava končal z…