Getting all users that have a specific permission from a role

[CovertError]

is there a simple way to get all the users that have specific permission whether it's from a role or just directly?

[CovertError]

never mind I found it in the docs $users = User::permission('edit articles')->get(); // Returns only users with the permission 'edit articles' (inherited or directly)