We're updating the issue view to help you get more done. 
Learn more or See the old view

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