Skip to content

history_buffer: Fix variable naming (pylint)

pylint complained about variable name "op" and indeed it was so obscure that I had no idea what it meant or did. So I renamed it and described it a little.

Merge request reports