Files in tdom/patches/ of tip

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