mirror of
https://github.com/NinjaTrappeur/my-repo-pins.git
synced 2024-06-01 19:14:07 +02:00
string-remove-prefix: fix compilation error
string-remove-prefix is automatically available when evaluating the source code, it's not the case when we compile it. Let's require its library (subr-x) when compiling the list code.
This commit is contained in:
parent
24490140f3
commit
e9a208c3bb