Add reporters of tickets fixed in 1.3.5