Re: [arch-dev-public] making a devtools release