tree aa912ef587a6ce46cdf47da1580be37e38e33088
parent 13d03262f25bfbf15e4a5f1d867cca243c7ee3ca
author Simon Marchi <simon.marchi@efficios.com> 1682706432 -0400
committer Simon Marchi <simon.marchi@efficios.com> 1682970054 -0400

gdb: store interps in an intrusive_list

Use intrusive_list, instead of hand-made linked list.

Change-Id: Idc857b40dfa3e3c35671045898331cca2c928097