Skip to content
Snippets Groups Projects
Commit 96c0c3ff authored by Cheng Shao's avatar Cheng Shao
Browse files

rts: fix incorrect ticket reference

(cherry picked from commit a4785b33)
parent 7b1c8236
No related branches found
No related tags found
No related merge requests found
/*
* <ffi.h> wrapper working around #23586.
* <ffi.h> wrapper working around #23568.
*
* (c) The University of Glasgow 2023
*
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment