Element version: 0.13.3

Release date: Dec. 4, 2017