Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
bytecode.patch | [PATCH] Fix plugin loading on bytecode-only systems It seems that dune always builds the plugin as `gui_gtk.cmxs`, even when it's actually bytecode. |
Thomas Leonard <talex5@gmail.com> | no | 2022-10-24 |