On 18 October 2011 03:00, Alexey Shuvaev <shuvaev_at_physik.uni-wuerzburg.de> wrote: > On Sat, Oct 08, 2011 at 10:14:56PM +0200, Alexey Shuvaev wrote: >> Hello list! >> > Errr... Replying to myself... Ping? Should I file a PR and put it > in the back burner? :) I think filing a PR is a good move. Then just be proactive and poke people about it. It'd be good to get this fixed. :) AdrianReceived on Mon Oct 17 2011 - 20:19:20 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:19 UTC