diff bootstrap @ 31609:c2a0e546aab1 stable

* resource-manager.cc: Fix copy/paste error from previous change.
author John W. Eaton <jwe@octave.org>
date Fri, 02 Dec 2022 10:11:46 -0500
parents e98fb9b4be86
children e6d339b9309d
line wrap: on
line diff