[xsmith-dev] Patches

[Eric Eide]

Sorawee Porncharoenwase <sorawee.pwase at gmail.com> writes:

> Since I don't have a Utah GitLab account, I can't submit a PR, so I attach
> patch files here instead.

Thank you!

(FWIW, you can request an account on the Flux GitLab server.  If you request
one let me know, so that I can make sure the request is approved quickly.)

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide at cs.utah.edu>   .        University of Utah School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 .   Salt Lake City, Utah, USA