3 commits

Author	SHA1	Message	Date
Alexander Schäferdiek	52e05aae33	Rename reserved name	2019-01-25 18:52:06 +01:00
Alexander Schäferdiek	92a256547c	Fix	2019-01-25 18:46:45 +01:00
Alexander Schäferdiek	242edc9dcb	Lots of updates	2019-01-25 18:28:29 +01:00