Bump junit from 4.11 to 4.13.1 in /core/codegen/vdm2jml#742
Open
dependabot[bot] wants to merge 1 commit intodevelopmentfrom
Open
Bump junit from 4.11 to 4.13.1 in /core/codegen/vdm2jml#742dependabot[bot] wants to merge 1 commit intodevelopmentfrom
dependabot[bot] wants to merge 1 commit intodevelopmentfrom
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}