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

Minor build tweaks #502

Merged
merged 2 commits into from
May 17, 2021
Merged

Minor build tweaks #502

merged 2 commits into from
May 17, 2021

Conversation

guidezpl
Copy link
Member

  • Improve release instructions
  • Bump Android dependencies
  • Fix deferred components gen_snapshot validation

Copy link
Member

@rami-a rami-a left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@guidezpl guidezpl merged commit 4787b15 into master May 17, 2021
@guidezpl guidezpl deleted the tweaks branch May 17, 2021 16:59
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.

2 participants