[Blends-commit] [Git][debian-astro-team/debian-astro][master] Update tools - find_orb accepted

2018-03-03 Thread Steffen Möller
Steffen Möller pushed to branch master at Debian Astro Team / debian-astro Commits: 530ac993 by Steffen Möller at 2018-03-03T19:32:56+00:00 Update tools - find_orb accepted Also added pointer to Einstein@Homes Binary Radio Pulsar search. - - - - - 1 changed file: - tasks/tools Changes:

[Blends-commit] [Git][debian-astro-team/debian-astro][master] Adjust names of q3c and pgspehere postgres extensions

2018-03-03 Thread Ole Streicher
Ole Streicher pushed to branch master at Debian Astro Team / debian-astro Commits: 29bf770f by Ole Streicher at 2018-03-03T10:22:03+01:00 Adjust names of q3c and pgspehere postgres extensions - - - - - 1 changed file: - tasks/development Changes: =