gdbgui v0.15.0.1 Release Notes

  • 🚀 This release has no changes to features or usability. The only change is to include a file used by other package maintainers.

    • Include all files needed to rebuild from source (#403)