Skip to content
This repository has been archived by the owner on Dec 14, 2021. It is now read-only.

ui: Refactored recent projects menu #956

Merged
merged 2 commits into from
Apr 2, 2020
Merged

ui: Refactored recent projects menu #956

merged 2 commits into from
Apr 2, 2020

Conversation

egraether
Copy link
Contributor

fixes #848

@egraether egraether merged commit 0c577f2 into master Apr 2, 2020
@elfring
Copy link

elfring commented Apr 2, 2020

Thanks for your small source code improvement.

@egraether egraether deleted the recent_projects branch June 7, 2020 14:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove unnecessary null pointer checks
2 participants