I created a bunch of quick filters for one of our boards.
These are visible for everyone but one colleague.
How can I “activate” these quick filters for him?
Screenshot one shows the drop-down list I see

Screenshot two shows his screen. He can only see the default filters

Thanks for the help