From: Bob J. <rg...@pa...> - 2017-02-27 03:45:04
|
I’ve merged the infrastructure PR. Once you’ve merged the head of master to pick it up, you can play with it by uncommenting the trim call near the bottom of NamedBean.java I’d rather not make the trim() permanent until we’ve made more progress on the GUI. Bob -- Bob Jacobsen rg...@pa... |