From: Ruben Beltran del Rio <redacted>
Date: Mon, 4 Mar 2024 20:56:39 +0000 (+0100)
Subject: Update coq.nvim
X-Git-Url: https://git.r.bdr.sh/rbdr/dotfiles/commitdiff_plain/37b37cfc94fb2e091520f012c657630d11d3f940?hp=37b37cfc94fb2e091520f012c657630d11d3f940

Update coq.nvim
---