Bryan O'Neill

When starting gdbgui from the terminal (by typing gdbgui or gdbgui &) I am unable to load the dashboard. A browser window opens, but all that is displayed is the...

Could this be updated to point a slightly newer version of the pin tool such as version 3.8? I would pull this tar.gz file myself but cannot find the exact...