3.10.3.1 - Aug 8, 2016 ======================= Changes since 3.10.3: - Use margin_right instead of margin_end since margin_end was added in GTK 3.12. Hi! 3.10.3 - Aug 7, 2016