[pion-users] Pull Request #92. Any activity?

[David S. <ca...@gm...>]

Hello all,

Pull request #92 has been outstanding since July with no comments and it
seems like a pretty straightforward merge. Would anyone be willing to
review it and, if it looks okay, merge it in?

Thanks,

David Sankel