Merge branch 'dev' of https://github.com/ajbura/cinny into dev
authorajbura <ajbura@gmail.com>
Mon, 14 Feb 2022 16:04:57 +0000 (21:34 +0530)
committerajbura <ajbura@gmail.com>
Mon, 14 Feb 2022 16:04:57 +0000 (21:34 +0530)

Trivial merge