[richfaces-issues] [JBoss JIRA] Deleted: (RF-11086) Push - add server-side API for disabling, enabling a4j:push