On 05/15/2015 03:59 AM, Andreas Färber wrote: > I would prefer 1. independent of whether we rename them or not. We need > a better distinction of internal vs. external for targets.
+1. r~
On 05/15/2015 03:59 AM, Andreas Färber wrote: > I would prefer 1. independent of whether we rename them or not. We need > a better distinction of internal vs. external for targets.
+1. r~