The Push feature may be accidentally removed during upgrades

Description

Since it's an optional dependency, the distribution wizard may choose not to install it.

Environment

None
Fixed

Assignee

Sergiu Dumitriu

Reporter

Sergiu Dumitriu

Labels

None

External issue ID

None

Components

Fix versions

Affects versions

Priority

Major