release 1.3.0. add @gdeglin to THANKS