I have pull request this for upsteam:
https://github.com/exult/exult/pull/560, and it has been accepted.

Reply via email to