Author: jungm Date: Fri Sep 19 19:05:16 2025 New Revision: 79417 Log: tomee 10.1.2 released Added: release/tomee/10.1.2/ - copied from r79416, dev/tomee/staging-1240/tomee-10.1.2/ Deleted: dev/tomee/staging-1240/tomee-10.1.2/