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
Components
Fix versions
Affects versions
1.3-milestone-1
Priority
MajorConfigure