/patch-gjs_jsapi-util.cpp/1.1/Tue Nov 10 11:33:50 2020//
D