New release to correctly display the application name in the gnome title bar (correction in HGBase library).
Authored by: josefjordan 2022-09-07
Parent: [r1177]
Child: [r1179]
