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

Status

Assignee

Sergiu Dumitriu

Reporter

Sergiu Dumitriu

Labels

None

External issue ID

None

External issue ID

None

Fix versions

Affects versions

1.3-milestone-1

Priority

Major
Configure