CosNotifyChannelAdmin_SequenceProxyPushSupplier(3erl) on Linux

The text 4efce9339160, as Debian 7 (Wheezy) shipped it.

This module implements the OMG CosNotifyChannelAdmin::SequenceProxyPushSupplier interface.