Xinqi Bao's Git

remove unused variable from previous patch
authorHiltjo Posthuma <[email protected]>
Sun, 18 Oct 2020 09:18:03 +0000 (11:18 +0200)
committerHiltjo Posthuma <[email protected]>
Sun, 18 Oct 2020 09:18:03 +0000 (11:18 +0200)

No differences found