Element version: 0.12.4

Release date: Sept. 20, 2017