From 84c36fab02c9af7cdcc0b7d937379a4effef9ced Mon Sep 17 00:00:00 2001
From: Milad Miladi <mmiladi@users.noreply.github.com>
Date: Mon, 13 Nov 2017 01:36:49 +0100
Subject: [PATCH] Relax infernal revision set

---
 graphclust.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/graphclust.yml b/graphclust.yml
index b77cbe5..f70b76b 100644
--- a/graphclust.yml
+++ b/graphclust.yml
@@ -128,8 +128,6 @@ tools:
 - name: infernal
   owner: bgruening
   tool_panel_section_label: "GraphClust"
-  revisions:
-  - 'c47a7c52ac4f' #rev 4
 
 - name: cdhit
   owner: bebatut