>>>>> On Tue, 26 Nov 2019, Thomas Deutschmann wrote:

> 500...999 is currently marked as "reserved" but this shouldn't block
> this assignment, should it?

It does.

> Therefore I am requesting uid and gid 818, both named "jenkins", for
> dev-util/jenkins-bin.