# WARNING: head commit changed in the meantime

Merged.

Updated and fixed Logging library, numerous fixes in consequence.
Fixed a warning.