Skip to content
Snippets Groups Projects
Commit 4be39aa8 authored by Pedro Gonnet's avatar Pedro Gonnet
Browse files

extract space_getsid into a separate header since it is called a lot and should be inlined.

parent bd8e0449
Branches
Tags
1 merge request!542Add mapper-specific profiling capabilities and makes `space_getsid` inlinable
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment