Element version: 0.13.1

Release date: Nov. 17, 2017