mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-17 13:07:54 +02:00
Merge cfc4cca1fd into merged_master (Elements PR #710)
This commit is contained in:
commit
98f49da27e