Ismael Figueroa

I'm having the same issue... any ETA on this fix?

@hendriktews here I'm pasting the output that I wrote in the first message: ``` C:\Users\Ismael\Documents\Proyectos\SoftwareFoundations\V1-Logical-Foundations\Work>coqdep "-Q" "c:/Users/Ismael/Documents/Proyectos/SoftwareFoundations/V1-Logical-Foundations/Work/" "" "c:/Users/Ismael/AppData/Local/Temp/ProofGeneral-coq8656BLo.v" c\:/Users/Ismael/AppData/Local/Temp/ProofGeneral-coq8656BLo.vo c\:/Users/Ismael/AppData/Local/Temp/ProofGeneral-coq8656BLo.glob c\:/Users/Ismael/AppData/Local/Temp/ProofGeneral-coq8656BLo.v.beautified: c\:/Users/Ismael/AppData/Local/Temp/ProofGeneral-coq8656BLo.v c\:/Users/Ismael/Documents/Proyectos/SoftwareFoundations/V1-Logical-Foundations/Work/Basics.vo c\:/Users/Ismael/AppData/Local/Temp/ProofGeneral-coq8656BLo.vio: c\:/Users/Ismael/AppData/Local/Temp/ProofGeneral-coq8656BLo.v c\:/Users/Ismael/Documents/Proyectos/SoftwareFoundations/V1-Logical-Foundations/Work/Basics.vio ``` I made...

Also looking for a solution to this issue :(

Hi @guillaume-chervet, I have some update on this issue. After talking with @dmitryzavyalovcl and checking what the core of the issue is, I'd like to provide a summary with the...

Update, the lines we identified are: - For login: https://github.com/AxaFrance/oidc-client/blob/8f24b119613fef5d7214826528bdb04c931a1986/packages/oidc-client/src/requests.ts#L159 - For logout: https://github.com/AxaFrance/oidc-client/blob/8f24b119613fef5d7214826528bdb04c931a1986/packages/oidc-client/src/logout.ts#L97

Hi @guillaume-chervet, I deeply apologize for being so unresponsive. Due to the pressing time requirements, we migrated to aws-amplify library, which works fine for our use case. Nevertheless, I can...

I just got the same issue +1

I just stumbled into the same issue... +1 This should be very easy to fix

Perhaps it is even better to handle this issue in a way transparent to the user. That is, perform a "normalization" step for the names of the file/table so from...

Thank you for your reply, Do you have any links on issues or roadmap entries that I could check? Regards,