Merge pull request #1119 from KenSpur/remove-duplicate-entry

Remove duplicate entry
opentofu · Oct 2, 2023 · 9eb3fad · 9eb3fad
2 parents 2ac3e07 + 6f519f0
commit 9eb3fad
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/index.html b/index.html
@@ -1955,11 +1955,6 @@ <h3>Co-signed</h3>
               <td>Individual</td>
               <td>Development; open-source community efforts</td>
             </tr>
-            <tr>
-              <td><a href="https://github.com/KenSpur">Ken Spur</a></td>
-              <td>Individual</td>
-              <td>Development; open-source community efforts</td>
-            </tr>
             <tr>
               <td><a href="https://github.com/RossMMason">Ross Mason</a></td>
               <td>Individual</td>