On 22/1/19 5:24 pm, Sebastian Huber wrote: > > Thanks, this works. See v2 of the default prefix patch. >
Both are OK to push. Thanks Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
