Skip to content

Delete unused variable in ocr#936

Merged
fhinkel merged 2 commits intomasterfrom
ocr
Nov 27, 2018
Merged

Delete unused variable in ocr#936
fhinkel merged 2 commits intomasterfrom
ocr

Commits

Commits on Nov 27, 2018