Skip to content

Commit

Permalink
Bump bundled reggae to recent master (using dub v1.38) (#4688)
Browse files Browse the repository at this point in the history
  • Loading branch information
kinke authored Jun 14, 2024
1 parent 6728d0a commit 09e1822
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion packaging/reggae_version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
286ca85619e2476218fa026442cb6ed658d708be
04de9e91182970543e6bd6ab6c8e7bb756ef3409

0 comments on commit 09e1822

Please sign in to comment.