[richfaces-issues] [JBoss JIRA] Updated: (RF-3581) inputNumberSpinner: doesn't work after rerender in Opera