Re: [uml-devel] [PATCH] print_worker_info: Handle pointer with more care


Thread view