Hello,

I just commited share/icons/David_icons.svg and share/icons/README.icons

They are not installed when I update and make install but I suppose something has to be done for those files to be installed? No idea what, however.

Jef