Element version: 0.12.5

Release date: Sept. 21, 2017