Fix missing PushGuiPage callback replacement in session/ openManual() in…
rP22807
Actions

Description

Fix missing PushGuiPage callback replacement in session/ openManual() in rP22676, refs D1684.

Committed

elexis

Aug 31 2019, 1:00 PM

Parents

rP22806: [i18n] Updated POT and PO files.

Branches

Unknown

Tags

Unknown

Build Status

Buildable 9119
Build 14944: Post-Commit Build	Jenkins

Path

Size

ps/

trunk/

binaries/

data/

mods/

public/

gui/

session/