project update bot opened merge request !2: Draft: Automated Project Update Bot fixes at project / cryptolog

This merge request was automatically created by the Project Update Bot. It contains the changes from run 11-188138.