Skip to content

hint for no goal when filtering and ptr on empty list #319

hint for no goal when filtering and ptr on empty list

hint for no goal when filtering and ptr on empty list #319