Stefano Babic efd819a9c6 Merge branch 'master' into thud vor 5 Jahren
..
libubootenv efd819a9c6 Merge branch 'master' into thud vor 5 Jahren