I’d like to merge core-updates to master Real Soon Now. The last missing bit for me is the Libtool upgrade, which shouldn’t be too hard (surprisingly, Libtool has a number of test failures on MIPS: <http://hydra.gnu.org/build/181662/nixlog/2/raw>; I’m tempted to disable tests on MIPS altogether.)
The question is whether we should merge wip-armhf in core-updates before. I think it may be more reasonable to postpone that. Mark? Then I would like to make a primarily-bug-fix release, probably 0.8.1. Thoughts? Ludo’.