Fixes #17782: anomaly when trying to disable a non existing custom notation #6690

Triggered via pull request July 26, 2023 17:11

herbelin

synchronize #17891

Status Success

Total duration 1h 8m 57s

Artifacts 1

ci-windows.yml

on: pull_request

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB