> On 19 Dec 2014, at 7:41 pm, jan i <[email protected]> wrote: > > Hi. > > maybe its just me, but should we not delete "develop" on the server ?
Yes; I was going to do this earlier but forgot. It’s gone now. — Dr Peter M. Kelly [email protected] PGP key: http://www.kellypmk.net/pgp-key <http://www.kellypmk.net/pgp-key> (fingerprint 5435 6718 59F0 DD1F BFA0 5E46 2523 BAA1 44AE 2966)
