Re: API feedback: It's faster to grep HTML
On Wednesday, May 22, 2019 12:29:16 PM CEST Miro Hrončok wrote:
Not sure if this is severe enough to file a bug report
No problem to close issue if it was not:
https://pagure.io/copr/copr/issue/757
Pavel