log pui-types.h.in @ 68:e1ea4e1ce17c default tip

age author description
2018-07-06 Guido Berhoerster Notify about required session or system restarts