Unverified Commit 7bdadcc6 authored by bors[bot]'s avatar bors[bot] Committed by GitHub
Browse files

Merge #37



37: Remove unused features r=mkroening a=mkroening
Co-authored-by: Martin Kröning's avatarMartin Kröning <mkroening@posteo.net>
parents 7e16aae3 0de16e85
Pipeline #554601 passed with stages
in 3 minutes