Hi, I just uploaded a new version of hal which fixes an RC bug (#404937). Please unblock :) Sjoerd -- Life is the living you do, Death is the living you don't do. -- Joseph Pintauro