This repository has been archived by the owner on Dec 5, 2022. It is now read-only.

cleanup github branches/pull requests #1484

Open

mirixx opened this issue Sep 19, 2022 · 1 comment

Assignees

Labels

Clean up

Contributor

mirixx commented Sep 19, 2022

No description provided.

mirixx self-assigned this

mirixx added the Clean up label

mirixx removed their assignment

JAndringa assigned mirixx and umer99roboteam

Contributor Author

mirixx commented Sep 19, 2022

Fixed the include path of Tracy profiler. Waiting for Jibbe to review the pull request. :)

JAndringa assigned silashoevers and JAndringa

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.