lhcb-future/271
300a0d9c · Merge branch 'RichFuture' into 'future' · Dec 27, 2016