Commit ae7bb15c authored by Ralf Jung's avatar Ralf Jung
Browse files

improve error on unqualified Hint

parent 02e61349
Pipeline #46302 passed with stage
in 10 minutes and 53 seconds