The following commit has been merged in the master branch:
commit 868abba892b1b02c3775de2c5afa3933a6b36749
Author: Andreas Tille
Date: Mon Mar 20 09:10:58 2017 +0100
Exclude pure data and doc packages
diff --git a/misc/sql/0-uncategorised.sh b/misc/sql/0-uncategorised.sh
The following commit has been merged in the master branch:
commit 488d54eec7500d4b942b092b16d13dabc6f3bb27
Author: Andreas Tille
Date: Mon Mar 20 09:02:51 2017 +0100
Typos
diff --git a/doc/en/D_faq.xml b/doc/en/D_faq.xml
index 66f90db..a7cd86d 100644
---
The following commit has been merged in the master branch:
commit c522b9b592ff1c32b0aa3d809351dd1ed2d5c63a
Author: Andreas Tille
Date: Fri Mar 17 11:07:04 2017 +0100
Add psortb
diff --git a/tasks/bio b/tasks/bio
index fcbb41b..f339354 100644
--- a/tasks/bio
+++
The following commit has been merged in the master branch:
commit 6a17c3bac24d1a060f23315afa8428624b97c4c8
Author: Andreas Tille
Date: Mon Mar 20 15:29:05 2017 +0100
Add raxml-ng
diff --git a/tasks/bio b/tasks/bio
index f339354..0c949d6 100644
--- a/tasks/bio
+++