On Thu, Apr 30, 2015 at 09:29:34AM +0200, Andreas Enge wrote:
> Then please push!

Sorry, I forgot; maybe push to core-updates, or wait after it is merged
(do we have a time line for this)?

Andreas


Reply via email to