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
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