<div dir="auto">Not exactly analogous to this situation.</div><div class="gmail_extra"><br><div class="gmail_quote">On Feb 21, 2018 07:13, "Martin Koppenhoefer" <<a href="mailto:dieterdreist@gmail.com">dieterdreist@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
sent from a phone<br>
<br>
> On 21. Feb 2018, at 13:35, Paul Johnson <<a href="mailto:baloo@ursamundi.org">baloo@ursamundi.org</a>> wrote:<br>
><br>
> Both.<br>
><br>
<br>
<br>
<br>
I’m asking because we have different situations around here, some with partly changed signs (changed ref but kept old ref in old_ref), some without any reflection in either signs or use (in this case we added official_ref and kept the old ref as ref)<br>
<br>
cheers,<br>
Martin </blockquote></div></div>