mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-14 12:43:40 +02:00
Merge b1749fb5ff into merged_master (Elements PR #1482)
This commit is contained in:
commit
d62826c2bf