Skip to content
This repository has been archived by the owner on Feb 16, 2024. It is now read-only.

Add back shared_preferences #562

Merged
merged 1 commit into from Dec 10, 2021
Merged

Add back shared_preferences #562

merged 1 commit into from Dec 10, 2021

Conversation

guidezpl
Copy link
Member

@guidezpl guidezpl commented Dec 9, 2021

Reverts #385. Also remove no longer relevant TODO

@guidezpl guidezpl merged commit acc51cb into master Dec 10, 2021
@guidezpl guidezpl deleted the shared-prefs branch December 10, 2021 11:26
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.

None yet

2 participants