safe-eiffel/epom — pull request #3 by weilers (2013-03-26 10:07:03+00:00)
Title: Po serial pid

~in place =