Skip to content
This repository has been archived by the owner on Oct 7, 2020. It is now read-only.

Fix UriCaches being leaked #1292

Merged
merged 1 commit into from
Jun 16, 2019
Merged

Commits on Jun 16, 2019

  1. Fix UriCaches being leaked

    This fixes UriCaches from being leaked via GhcModuleCaches.
    This is the result of 72 hours at ZuriHac between 3 people and a lot of
    time spent in gdb.
    
    Blog post coming soon
    
    Co-Authored-By: Matthew Pickering <matthewtpickering@gmail.com>
    Co-Authored-By: Daniel Gröber <dxld@darkboxed.org>
    3 people committed Jun 16, 2019
    Configuration menu
    Copy the full SHA
    4d179a9 View commit details
    Browse the repository at this point in the history