There were some fixes to profile loading/replacement/removal that went in that may be related to this bug but I haven't been able to confirm or deny that, nor replicate this bug. It would be good to now if you have seen an oops recently even if you can't readily reproduce.
Hi David,
There were some fixes to profile loading/ replacement/ removal that went in that may be related to this bug but I haven't been able to confirm or deny that, nor replicate this bug. It would be good to now if you have seen an oops recently even if you can't readily reproduce.