Public Git Hosting - ACE

commit	48b96dee6147efa609f1536296929489203f3193
author	Johnny Willemsen <jwillemsen@remedy.nl>
	Mon, 13 Feb 2023 13:16:16 +0000 (13 14:16 +0100)
committer	Johnny Willemsen <jwillemsen@remedy.nl>
	Mon, 13 Feb 2023 13:16:16 +0000 (13 14:16 +0100)
tree	b74211d32812f36202d618709a08555327e45588	tree \| snapshot (tar.gz zip)
parent	8c215112dfc278f704ba37db8699a829f9cabf3a	commit \| diff

Another default destructor

* TAO/tao/PortableServer/Acceptor_Filter_Factory.cpp:
* TAO/tao/PortableServer/Acceptor_Filter_Factory.h:

TAO/tao/PortableServer/Acceptor_Filter_Factory.cpp		diff \| blob \| blame \| history
TAO/tao/PortableServer/Acceptor_Filter_Factory.h		diff \| blob \| blame \| history