Merge branch 'dev' of https://github.com/ajbura/cinny into dev
authorAjay Bura <ajbura@gmail.com>
Tue, 3 May 2022 07:22:33 +0000 (12:52 +0530)
committerAjay Bura <ajbura@gmail.com>
Tue, 3 May 2022 07:22:33 +0000 (12:52 +0530)

Trivial merge