Merge branch 'master' into stable-0.6

digraphs · Feb 5, 2017 · 6ec2e5c · 6ec2e5c
2 parents bbad46b + 6feb84d
commit 6ec2e5c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -159,7 +159,7 @@ Persons := [
     Institution   := "University of St Andrews"
   )],
 
-Status := "dev",
+Status := "deposited",
 
 IssueTrackerURL := Concatenation(~.SourceRepository.URL, "/issues"),
 PackageWWWHome  := Concatenation("https://gap-packages.github.io/",