Nicolas George <nicolas.george <at> normalesup.org> writes: > > build: error on mixed declarations and code > > Do we really want it? In the last days I noticed it was really annoying > while debugging. Imo, please revert and push. Carl Eugen