On Thu, Oct 18, 2012 at 7:13 AM, Sverre Rabbelier srabbel...@gmail.com wrote:
On Wed, Oct 17, 2012 at 1:27 AM, Felipe Contreras
felipe.contre...@gmail.com wrote:
The marks options are being ignored right now.
It seems unlikely to me that this never worked, surely no reviewer
would accept a
On Wed, Oct 17, 2012 at 1:27 AM, Felipe Contreras
felipe.contre...@gmail.com wrote:
The marks options are being ignored right now.
It seems unlikely to me that this never worked, surely no reviewer
would accept a patch that doesn't actually implement the feature?
What's the history here?
--
2 matches
Mail list logo