This repository was archived by the owner on Nov 15, 2023. It is now read-only.

Follow-up on #7088#7089

Merged

serban300 merged 1 commit intoparitytech:masterfrom

serban300:small_fixes

Apr 17, 2023

Commits on Apr 17, 2023

Small simplification
serban300
committed