Hi! 2016-08-04 0:33 GMT+02:00 James Almer <jamrial at gmail.com>: > This removes unnecessary header dependencies. Why is this an advantage? > 5 files changed, 25 insertions(+), 20 deletions(-) This doesn't imply a simplification... Carl Eugen