[Boost-maint] [random] Pending pull request

Subject: [Boost-maint] [random] Pending pull request
From: Marco Guazzone (marco.guazzone_at_[hidden])
Date: 2014-10-20 10:21:24

Hi,

Note: This is somewhat a double-post. The original post is in the
boost-devel ML. There. someone suggested me to ask this question to
this ML. Sorry for the duplicate.

Do you have any news about Boost.Random maintainers?

I and others have pending (open) pull requests since some month
without any feedback:

   https://github.com/boostorg/random/pulls

I don't want to bother for any reason the maintainers (i appreciate
the time they spend to keep the library alive and in good health).
I'm just asking for some feedback.

Thank you very much for your time.

Best,

Marco