Release 2.71.2

Chore

Fix

  • use a more recent npm node (to fix the release CI job) (0586efb)

Update

  • propage the API change done in rdbg 1.189.3 (271d002)