Ino de Bruijn Merge branch 'master' of https://github.com/inodb/masmvali-publication  almost 10 years ago

Commit id: 9cf7be0ccdaa26ec82db8c3d9878e9f677d60385

deletions | additions      

         

masmvali-publication  ====================  [![Stories in Ready](https://badge.waffle.io/inodb/masmvali-publication.png?label=ready&title=Ready)](http://waffle.io/inodb/masmvali-publication)  MASMVALI Publication