This repository was archived by the owner on Apr 20, 2026. It is now read-only.

Add merge properties#7

Merged

henriquetruta merged 3 commits into

Apr 23, 2020

Commits on Apr 23, 2020