Las notificaciones emergentes push ahora ya abren el ticket correspondiente a la notificación. También se añaden nuevos filtros sobre los tickets.