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~

Reply via email to