Hi, I am intending to make one after applying a few patches that have been sent to the mailing lists. I know that are few people are already using a git version for community and arch=any support so it should be good to go. Does anyone know of anything blocking a devtools release? Allan