On Mon, Jul 07, 2003 at 12:04:05PM +0200, Gunther Nikl wrote: > I am still trying to support symbol loading. I managed to add symbol loading to /dev/reload. What now? Shall I post diffs here or open a PR? Gunther