On Tue, May 25, 2021 at 05:52:31AM +0200, Rafael Sadowski wrote: > On Tue May 25, 2021 at 05:50:06AM +0200, Rafael Sadowski wrote: > > Simple diff to enable pugixml usage in mame. OK? > > > > of course, with REVISION bump:
Looks good to me. Brad also sent me the same diff privately, so please mention it in the commit message as we usually do. OK fcambus@
