Nikita Popov 91cb82d3d2 Explicitly support Name copy construction
It already worked beforehand by accident ... make clear it's
actually supported.
2016-10-22 16:41:58 +02:00
..
2016-07-25 17:03:58 +02:00
2015-05-02 22:17:34 +02:00
2015-05-02 22:17:34 +02:00
2015-07-02 18:06:41 +02:00