mirror of
https://gitlab.uni-freiburg.de/opensourcevdi/spice-common
synced 2025-12-26 22:55:35 +00:00
It can still be NULL, but we simplify the headers by always including it. There is no practical performance difference here. |
||
|---|---|---|
| common | ||