AUCTeX version: 12.3.1

Release date: Oct. 22, 2020