// by Jean-Paul Mari\r
//\r
// JPM = Jean-Paul Mari <djipi.mari@gmail.com>\r
+// RG = Richard Goedeken\r
//\r
// WHO WHEN WHAT\r
// --- ---------- ------------------------------------------------------------\r
// JPM Aug./2019 Added new functions to handle DWARF information, full filename fix\r
// JPM Mar./2020 Fix a random crash when reading the source lines information\r
// JPM Aug./2020 Added a source code file date check when reading DWARF information\r
+// RG Jan./2021 Linux build fixes\r
//\r
\r
// To Do\r