Revert "Merge pull request #4472"

This reverts commit 79d46c4d55, reversing
changes made to c9fc61dbb5.
This commit is contained in:
Riccardo Spagni 2018-10-08 21:39:54 +02:00
parent 3f2bfe87f7
commit ac5674524a
No known key found for this signature in database
GPG key ID: 55432DF31CCD4FCD
17 changed files with 185 additions and 113 deletions

View file

@ -30,7 +30,6 @@
#pragma once
#include <stdexcept>
#include <string>
#include <boost/uuid/uuid.hpp>