Overview of changes in gnome-calculator 3.7.2

    * Fix incorrectly ininitialized option list