Juergen Spitzmueller a751c5b846 Extend and improve name list handling
This allows to generate different name lists depending on the need and
context.

Also addresses #8489.
2017-01-09 17:54:56 +01:00
..
2016-12-27 08:39:06 +01:00
2017-01-09 17:54:56 +01:00
2017-01-09 01:26:23 +01:00
2017-01-07 16:44:27 +01:00
2016-11-07 23:53:19 +01:00
2017-01-02 12:00:56 +01:00
2017-01-08 09:39:46 +01:00
2016-12-28 16:50:25 +01:00
2016-12-06 14:04:50 +01:00
2016-12-26 14:03:48 +01:00
2016-12-29 16:45:19 +01:00
2017-01-08 09:39:46 +01:00
2017-01-03 20:35:41 +01:00