Version 1.1.2 release

Added option for displaying PR labels in preferences