Files in critcl/patches/ of tip

Files in directory critcl/patches from the latest check-in