CosNotifyChannelAdmin_SequenceProxyPushConsumer(3erl) on Linux

The text 1bf5fe78efa8, as Debian 7 (Wheezy) shipped it.

This module implements the OMG CosNotifyChannelAdmin::SequenceProxyPushConsumer interface.