[boost] [Range] Are pull request in github being considered?

Subject: [boost] [Range] Are pull request in github being considered?
From: Gonzalo BG (gonzalobg88_at_[hidden])
Date: 2014-03-20 14:29:02

There are 3 pull-request in github with zero comments,
none closed, and the oldest is 3 months old (one is
from me).

Are they being considered or should one submit
patches for Boost.Range over trac?

The FAQ doesn't say anything about the preferred
way to submit patches and the modular boost documentation
mentions pull-request as valid options, but I would like
to be sure that I sent my patch through the preferred channel.

Bests,
Gonzalo BG