Update: propage the API change done in rdbg 1.189.3

2 jobs for 2.71.2 in 5 minutes and 18 seconds
latest
Status Job ID Name Coverage
  Build
passed #156359
build

00:03:01

 
  Test
passed #156360
test_opam_test

00:02:17