Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-ui-dev] Refresh problem with the navigator provider

You have asked on the bug, which is the correct thing to do.  The
committer will respond on the bug (keep in mind that beginning of July
is a holiday in North America, so you might not hear anything until
after the first week or so).

PW

--
Paul Webster
Hi floor.  Make me a sammich! - GIR


Back to the top