The original version should have been 0.13.12, not 0.13.32!
Fixed in coordination with #gentoo-dev-help:
[02:33] colores: I accidentally pushed a package with the
wrong version specifier to GURU. The recently
released new version would trigger a
"downgrade" from the incorrectly-named
old one. Do I simply push the new version and
delete the old one? They don't need to
co-exist anyway.
[snip]
[02:37] @ sam_: uh oh...
[02:37] @ sam_: 1) yes, it's fine to git mv to the proper
version in this case, just do it quickly
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
- Respect user LDFLAGS variable where applicable.
- Pre-compile tests in src_compile and run them in src_test.
- Extract documentation from header and provide it in dedicated files
in FILESDIR
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
