On Tue, Jun 18, 2019 at 10:34:27AM -0600, Jesse Gibbons wrote: > This issue can be closed. Webkitgtk-2.24 uses gcc 7 which must be a > dependency for packages that use it. Luckily my package works just fine > with the older version of webkitgtk.
Done by cc-ing bugnumber-d...@debbugs.gnu.org. Please be careful to not send all replies to bug-guix@gnu.org, but to bugnum...@debbugs.gnu.org for your specific bug number (it normally suffices to reply to a message sent to you by the bug tracker). Andreas
