]> git.openstreetmap.org Git - chef.git/commitdiff
Add a script to generate a list of deleted users uids
authorSimon Poole <simon@poole.ch>
Wed, 5 Sep 2018 13:20:11 +0000 (15:20 +0200)
committerSimon Poole <simon@poole.ch>
Wed, 5 Sep 2018 13:20:11 +0000 (15:20 +0200)

No differences found