#8218: profile_init may not always reflect profile changes due to g_shared

Ticket metadata Hide unset fields

The Basics

Custom Fields

People

Reminders

Dates

Created:	Wed Jul 15 16:50:43 2015
Starts:	Not set
Started:	Fri Jul 12 19:16:58 2019
Last Contact:	Not set
Due:	Not set
Closed:	Not set
Updated:	Wed Jul 15 16:50:43 2015 by ghudson@mit.edu (Greg Hudson)

Links Graph

History

#8218: profile_init may not always reflect profile changes due to g_shared_trees