tree 6c10e0b69f603179336c8b12886cb3b3f7fc8012
parent 280f7bb58290ea3d719d86894655a03f36d347e2
author Gerwin Klein <gerwin.klein@proofcraft.systems> 1636345271 +1100
committer Gerwin Klein <gerwin@doclsf.de> 1636345490 +1100

util_libs: license clarification

This file was mistakenly tagged as GPL, when it should be BSD. Commit
a7130f9f836 previously already fixed the license text, but not the tag,
which in the SPDX conversion then got lost.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>